Search Sciweavers | Sciweavers

1724 search results - page 15 / 345

» Industrial applications

click to vote

ERLANG
2003
ACM

147views Programming Languages» more ERLANG 2003»

Automated test generation for industrial Erlang applications

15 years 2 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 »

Voted

HINC
2003
Springer

229views Applied Computing» more HINC 2003»

Applications and Technologies for Maritime and Offshore Industries

15 years 2 months ago

Download heim.ifi.uio.no

Trond Vahl

claim paper

Read More »

click to vote

KBSE
1999
IEEE

84views Software Engineering» more KBSE 1999»

Industrial Applications of Software Synthesis via Category Theory

15 years 1 months ago

Download pages.cpsc.ucalgary.ca

Keith E. Williamson, Michael Healy

claim paper

Read More »

100

click to vote

ZUM
1992
Springer

94views Formal Methods» more ZUM 1992»

An International Survey of Industrial Applications of Formal Methods

15 years 1 months ago

Download www.tcs.hut.fi

Dan Craigen, Susan L. Gerhart, Ted Ralston

claim paper

Read More »

141

Voted

AMOST
2007
ACM

269views Software Engineering» more AMOST 2007»

Test purpose generation in an industrial application

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers