589 search results - page 27 / 118 » Automated test generation for engineering applications |
109
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
88
Voted
ATAL
2008
Springer
15 years 2 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
111
click to vote
AMOST
2007
ACM
15 years 4 months ago
2007
ACM
Model-checkers have recently been suggested for automated software test-case generation. Several works have presented methods that create efficient test-suites using model-checker...
103
Voted
FASE
2006
Springer
15 years 4 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...
COMPSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...