2026 search results - page 44 / 406 » Tools for Test Case Generation |
120
Voted
ICSE
2005
IEEE-ACM
16 years 17 days ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
81
Voted
ACMSE
2006
ACM
15 years 6 months ago
2006
ACM
Like in other fields, computer products (applications, hardware, etc.), before being marketed, require some level of testing to verify whether they meet their design and function...
141
click to vote
AOSE
2008
Springer
15 years 2 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...
102
Voted
SPLC
2008
15 years 1 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...
109
Voted
ICSE
2007
IEEE-ACM
16 years 17 days ago
2007
IEEE-ACM
Web services are a popular way of implementing a Service-Oriented Architecture. Testing can be used to help assure both the correctness and robustness of a web service. Because ma...