378 search results - page 2 / 76 » Automating Coinduction with Case Analysis |
KR
2004
Springer
13 years 10 months ago
2004
Springer
ICSEA
2008
IEEE
13 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
ATAL
2008
Springer
13 years 7 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
ECMDAFA
2010
Springer
13 years 10 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...
GI
2009
Springer
13 years 3 months ago
2009
Springer
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...