Sciweavers

1112 search results - page 48 / 223
» Executing Abstract Test Cases
Sort
View
SIGSOFT
2005
ACM
15 years 10 months ago
CUTE: a concolic unit testing engine for C
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
Koushik Sen, Darko Marinov, Gul Agha
TAICPART
2010
IEEE
158views Education» more  TAICPART 2010»
14 years 8 months ago
Bad Pairs in Software Testing
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett S...
SDL
2007
171views Hardware» more  SDL 2007»
14 years 11 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
ENTCS
2008
118views more  ENTCS 2008»
14 years 10 months ago
Barbed Model-Driven Software Development: A Case Study
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
Carlo Montangero, Laura Semini
ICCBR
1995
Springer
15 years 1 months ago
Reasoning with Reasons in Case-Based Comparisons
In this work, we are interested in how rational decision makers reason with and about reasons in a domain, practical ethics, where they appear to reason asons symbolically in terms...
Kevin D. Ashley, Bruce M. McLaren