588 search results - page 23 / 118 » Using UML Environment Models for Test Case Generation |
128
Voted
ICST
2010
IEEE
14 years 11 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
121
Voted
ENTCS
2008
15 years 15 days ago
2008
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
126
click to vote
APSCC
2006
IEEE
15 years 4 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
95
Voted
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
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...