2026 search results - page 16 / 406 » Tools for Test Case Generation |
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
ISOLA
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
102
click to vote
ISESE
2006
IEEE
15 years 3 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
92
Voted
ECMDAFA
2010
Springer
15 years 2 months ago
2010
Springer
Use cases are commonly used to structure and document requirements while UML activity diagrams are often used to visualize and formalize use cases, for example to support automated...
66
Voted
ISCIS
2003
Springer
15 years 2 months ago
2003
Springer
One of the important tasks during software testing is the generation of test cases. Unfortunately, existing approaches to test case generation often have problems limiting their us...