Search Sciweavers | Sciweavers

1724 search results - page 15 / 345

» Industrial applications

159

click to vote

ERLANG
2003
ACM

147views Programming Languages» more ERLANG 2003»

Automated test generation for industrial Erlang applications

15 years 11 months ago

Download www.erlang.se

We present an implemented technique for generating test cases from state machine speciﬁcations. The work is motivated by a need for testing of protocols and services developed b...

Johan Blom, Bengt Jonsson

claim paper

Read More »

135

click to vote

HINC
2003
Springer

229views Applied Computing» more HINC 2003»

Applications and Technologies for Maritime and Offshore Industries

15 years 11 months ago

Download heim.ifi.uio.no

Trond Vahl

claim paper

Read More »

136

click to vote

KBSE
1999
IEEE

84views Software Engineering» more KBSE 1999»

Industrial Applications of Software Synthesis via Category Theory

15 years 10 months ago

Download pages.cpsc.ucalgary.ca

Keith E. Williamson, Michael Healy

claim paper

Read More »

176

click to vote

ZUM
1992
Springer

94views Formal Methods» more ZUM 1992»

An International Survey of Industrial Applications of Formal Methods

15 years 10 months ago

Download www.tcs.hut.fi

Dan Craigen, Susan L. Gerhart, Ted Ralston

claim paper

Read More »

233

click to vote

AMOST
2007
ACM

269views Software Engineering» more AMOST 2007»

Test purpose generation in an industrial application

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers