Sciweavers

Share
11 search results - page 1 / 3
» Dynamically Discovering Likely Program Invariants to Support...
Sort
View
ICSE
1999
IEEE-ACM
11 years 4 months ago
Dynamically Discovering Likely Program Invariants to Support Program Evolution
ÐExplicitly stated program invariants can help programmers by identifying program properties that must be preserved when modifying code. In practice, however, these invariants are...
Michael D. Ernst, Jake Cockrell, William G. Griswo...
ICSE
2008
IEEE-ACM
12 years 18 days ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
GECCO
2004
Springer
327views Optimization» more  GECCO 2004»
11 years 5 months ago
Evolution, Robustness, and Adaptation of Sidewinding Locomotion of Simulated Snake-Like Robot
Inspired by the efficient method of locomotion of the rattlesnake Crotalus cerastes, the objective of this work is automatic design through genetic programming, of the fastest poss...
Ivan Tanev, Thomas S. Ray, Andrzej Buller
LFCS
2007
Springer
11 years 6 months ago
A Temporal Dynamic Logic for Verifying Hybrid System Invariants
We combine first-order dynamic logic for reasoning about possible behaviour of hybrid systems with temporal logic for reasoning about the temporal behaviour during their operation...
André Platzer
ICSE
2004
IEEE-ACM
11 years 12 months ago
Finding Latent Code Errors via Machine Learning over Program Executions
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
Yuriy Brun, Michael D. Ernst
books