45 search results - page 3 / 9 » Automatic Generation of Test Oracles-From Pilot Studies to A... |
115
Voted
AOSE
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
COR
2008
2008
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
14 years 9 months ago
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatica...
80
Voted
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
The testing of the performance of opportunistic communication protocols and applications is usually done through simulation as i) deployments are expensive and should be left to t...
TACAS
2009
Springer
15 years 4 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...