Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Eric Mercer
An Improved Distance Heuristic Function for Directed Software Model Checking
Related publications
Model Checking Software
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Checking Strong Specifications Using an Extensible Software Model Checking Framework
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking for Improved Adaptive Behaviour
Dynamic Path Reduction for Software Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Software Analysis and Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Model Checking Large Software Specifications
ACM SIGSOFT Software Engineering Notes
Guided Model Checking With a Bayesian Meta-Heuristic
Partial Order Reduction in Directed Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
An Improved Heuristic for Permutation Flowshop Scheduling
International Journal of Information and Communication Technology
Computer Networks
Software
Computer Science Applications
Information Systems
Communications
