3736 search results - page 54 / 748 » Generative Programming |
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Regression test generation aims at generating a test suite that can detect behavioral differences between the original and the modified versions of a program. Regression test gen...
UM
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes how a user modeling knowledge base for personalized TV servers can be generated starting from an analysis of lifestyles surveys. The aim of the research is the...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We present a compositional approach to the implementation of hard real-time software running on a distributed platform. We explain how several code suppliers, coordinated...
ECOOP
2006
Springer
14 years 11 days ago
2006
Springer
A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the f...