Sciweavers

4299 search results - page 30 / 860
» Concurrent Test Generation
Sort
View
GI
2004
Springer
14 years 1 months ago
Code Generator Testing in Practice
: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testin...
Ingo Stürmer, Mirko Conrad
ICST
2010
IEEE
13 years 7 months ago
TestFul: An Evolutionary Test Approach for Java
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
IJCSA
2007
84views more  IJCSA 2007»
13 years 8 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
JUCS
2006
109views more  JUCS 2006»
13 years 8 months ago
Verifying Real-Time Properties of tccp Programs
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
María Alpuente, María-del-Mar Gallar...
ISCIS
2003
Springer
14 years 1 months ago
Test Case Generation According to the Binary Search Strategy
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...
Sami Beydeda, Volker Gruhn