270 search results - page 1 / 54 » Automated test generation for industrial Erlang applications |
ERLANG
2003
ACM
13 years 9 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
FM
2009
Springer
13 years 2 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
ICSE
2009
IEEE-ACM
13 years 9 months ago
2009
IEEE-ACM
ICFP
2009
ACM
13 years 11 months ago
2009
ACM
We address the problem of testing and debugging concurrent, distributed Erlang applications. In concurrent programs, race conditions are a common class of bugs and are very hard t...