498 search results - page 35 / 100 » Automated Software Test Data Generation for Complex Programs |
112
click to vote
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
115
Voted
ECAI
2010
Springer
15 years 3 months ago
2010
Springer
Answer-set programming (ASP) is a well-acknowledged paradigm for declarative problem solving, yet comparably little effort has been spent on the investigation of methods to support...
115
Voted
FORTE
2008
15 years 3 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
107
Voted
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Self-Adapting Numerical Software (SANS) systems aim to bridge the knowledge gap that exists between the expertise of domain scientists, and the know-how that is needed to fulfill...
144
Voted
STVR
2010
14 years 9 months ago
2010
As we move to developing object-oriented programs, the complexity traditionally found in functions and procedures is moving to the connections among components. Different faults o...