169 search results - page 3 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
ISCIS
2003
Springer
14 years 19 days 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...
SIGSOFT
2006
ACM
14 years 1 months ago
2006
ACM
Unit test cases are focused and efficient. System tests are effective at exercising complex usage patterns. Differential unit tests (DUT) are a hybrid of unit and system tests. T...
FATES
2004
Springer
14 years 25 days ago
2004
Springer
We present an extension of Tretmans’ theory and algorithm for test generation for input-output transition systems to real-time systems. Our treatment is based on an operational i...
ICWE
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. Conceptual modelling is a promising approach for Web application development, thanks to innovative CASE tools that can transform high-level specifications into executabl...
ICST
2010
IEEE
13 years 6 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...