1597 search results - page 115 / 320 » Context Capture in Software Development |
115
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...
180
click to vote
VL
2010
IEEE
15 years 26 days ago
2010
IEEE
In co-located software development, diagramming practices, such as sketching ideas out with a pen and paper, support the creative process and allow designers to shape, analyze, an...
100
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
A system built in terms of autonomous agents may require even greater correctness assurance than one which is merely reacting to the immediate control of its users. Agents make su...
117
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage. It typically uses genetic algorithms (GAs) to sea...
209
click to vote
ASE
2011
14 years 9 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...