1492 search results - page 156 / 299 » Automatic Software Model Checking Using CLP |
110
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
101
click to vote
ASM
2000
ASM
15 years 6 months ago
2000
ASM
ASMs have been used at Siemens Corporate Technology to design a component in a software package called FALKO. Main purpose of FALKO is the construction and validation of timetables...
122
click to vote
OOPSLA
2007
Springer
15 years 8 months ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
109
Voted
IUI
2003
ACM
15 years 7 months ago
2003
ACM
Interactive tools to help users author plans or processes are essential in a variety of domains. KANAL helps users author sound plans by simulating them, checking for a variety of...
120
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Model checking tools based on the iterative refinement of predicate abstraction (e.g., Slam and Blast) often feature a specification language for expressing complex behavior rules....