Sciweavers

303 search results - page 18 / 61
» Robust Test Generation and Coverage for Hybrid Systems
Sort
View
DATE
2010
IEEE
132views Hardware» more  DATE 2010»
14 years 23 days ago
A systematic approach to the test of combined HW/SW systems
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
Alexander Krupp, Wolfgang Müller 0003
SIGMOD
2008
ACM
65views Database» more  SIGMOD 2008»
14 years 7 months ago
Generating targeted queries for database testing
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
Chaitanya Mishra, Nick Koudas, Calisto Zuzarte
SIGSOFT
2006
ACM
14 years 1 months ago
Carving differential unit test cases from system test cases
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...
Sebastian G. Elbaum, Hui Nee Chin, Matthew B. Dwye...
ACL
2009
13 years 5 months ago
Using Generation for Grammar Analysis and Error Detection
We demonstrate that the bidirectionality of deep grammars, allowing them to generate as well as parse sentences, can be used to automatically and effectively identify errors in th...
Michael Goodman, Francis Bond
AOSD
2009
ACM
14 years 2 months ago
Automated test data generation for aspect-oriented programs
Despite the upsurge of interest in the Aspect-Oriented Programming (AOP) paradigm, there remain few results on test data generation techniques for AOP. Furthermore, there is no wo...
Mark Harman, Fayezin Islam, Tao Xie, Stefan Wapple...