292 search results - page 15 / 59 » Modeling requirements for combinatorial software testing |
GI
2007
Springer
13 years 11 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
FORTE
1997
13 years 9 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
WISER
2004
ACM
14 years 1 months ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
FECS
2008
13 years 9 months ago
2008
Teaching software modeling and software design presents a different and difficult set of problems than teaching some of the other aspects of software engineering such as testing a...
COMPSAC
2001
IEEE
13 years 11 months ago
2001
IEEE
Regression testing has been a popular quality assurance technique. Most regression testing techniques are based on code or software design. This paper proposes a scenario-based fu...