270 search results - page 12 / 54 » Automated test generation for industrial Erlang applications |
ICSM
2003
IEEE
15 years 5 months ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
QSIC
2007
IEEE
15 years 6 months ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
KBSE
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
EWCBR
2004
Springer
15 years 5 months ago
2004
Springer
In industrial manufacturing rigorous testing is used to ensure that the delivered products meet their specifications. Mechanical maladjustment or faults often show their presence t...
ICST
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...