1414 search results - page 96 / 283 » Automated Metamorphic Testing |
PTS
1998
13 years 10 months ago
1998
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
ATAL
2009
Springer
14 years 3 months ago
2009
Springer
Supply Chain Formation (SCF) is the process of determining the participants in a supply chain, who will exchange what with whom, and the terms of the exchanges. Mixed multi-unit c...
VL
2005
IEEE
14 years 2 months ago
2005
IEEE
Agile methodologies employ light-weight development practices emphasizing a test-driven approach to the development of software systems. Modern agile development environments supp...
COMPSAC
2003
IEEE
14 years 2 months ago
2003
IEEE
Short product cycles and rapidly changing requirements are increasingly forcing developers to use agile development strategies like extreme programming and test–driven developme...
ENTCS
2002
13 years 9 months ago
2002
We present a novel technique called comparison checking that helps optimizer writers debug optimizers by testing, for given inputs, that the semantics of a program are not changed...