Software model checking
Software model checking Page 1 21 Software Model Checking RANJIT JHALA University of
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …
California, San Diego and RUPAK MAJUMDAR University of California, Los Angeles We survey …
Genprog: A generic method for automatic software repair
This paper describes GenProg, an automated method for repairing defects in off-the-shelf,
legacy programs without formal specifications, program annotations, or special coding …
legacy programs without formal specifications, program annotations, or special coding …
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics
The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately,
writing correct concurrent programs is difficult. Addressing this challenge requires advances …
writing correct concurrent programs is difficult. Addressing this challenge requires advances …
[PDF][PDF] Finding and Reproducing Heisenbugs in Concurrent Programs.
Concurrency is pervasive in large systems. Unexpected interference among threads often
results in “Heisenbugs” that are extremely difficult to reproduce and eliminate. We have …
results in “Heisenbugs” that are extremely difficult to reproduce and eliminate. We have …
Razzer: Finding kernel race bugs through fuzzing
A data race in a kernel is an important class of bugs, critically impacting the reliability and
security of the associated system. As a result of a race, the kernel may become …
security of the associated system. As a result of a race, the kernel may become …
A model for the yield strength of overaged Al–Zn–Mg–Cu alloys
A model for the yield strength of multi-component alloys is presented and applied to
overaged Al–Zn–Mg–Cu alloys (7xxx series). The model is based on an approximation of …
overaged Al–Zn–Mg–Cu alloys (7xxx series). The model is based on an approximation of …
Race directed random testing of concurrent programs
K Sen - Proceedings of the 29th ACM SIGPLAN Conference on …, 2008 - dl.acm.org
Bugs in multi-threaded programs often arise due to data races. Numerous static and
dynamic program analysis techniques have been proposed to detect data races. We …
dynamic program analysis techniques have been proposed to detect data races. We …
Automated software test generation: some challenges, solutions, and recent advances
G Candea, P Godefroid - Computing and Software Science: State of the …, 2019 - Springer
The automation of software testing promises to delegate to machines what is otherwise the
most labor-intensive and expensive part of software development. The past decade has …
most labor-intensive and expensive part of software development. The past decade has …
CTrigger: exposing atomicity violation bugs from their hiding places
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent
programs are prone to bugs. Among different types of concurrency bugs, atomicity violation …
programs are prone to bugs. Among different types of concurrency bugs, atomicity violation …
Optimal dynamic partial order reduction
Stateless model checking is a powerful technique for program verification, which however
suffers from an exponential growth in the number of explored executions. A successful …
suffers from an exponential growth in the number of explored executions. A successful …