Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
29
views
5
references
Top references
cited by
11
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
1,507
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
other
Author(s):
Guodong Li
,
Indradeep Ghosh
,
Sreeranga P. Rajan
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Global Health Next Generation Network
Most cited references
5
Record
: found
Abstract
: not found
Book Chapter
: not found
Path Feasibility Analysis for String-Manipulating Programs
Nikolaj Bjørner
,
Nikolai Tillmann
,
Andrei Voronkov
(2009)
0
comments
Cited
17
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
Guodong Li
,
Indradeep Ghosh
,
Sreeranga Rajan
(2011)
0
comments
Cited
11
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
JPF–SE: A Symbolic Execution Extension to Java PathFinder
Saswat Anand
,
Corina Pasareanu
,
Willem J. Visser
(2007)
0
comments
Cited
8
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 609-615
DOI:
10.1007/978-3-642-22110-1_49
SO-VID:
396ca2e5-4dc2-4e05-84d9-0776b1032d13
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
pp. 470
HMC: Verifying Functional Programs Using Abstract Interpreters
pp. 50
Stability in Weak Memory Models
pp. 99
Getting Rid of Store-Buffers in TSO Analysis
pp. 149
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
pp. 165
The BINCOA Framework for Binary Code Analysis
pp. 171
CVC4
pp. 178
SLAyer: Memory Safety for Systems-Level Code
pp. 184
CPAchecker: A Tool for Configurable Software Verification
pp. 225
Model Checking Algorithms for CTMDPs
pp. 243
Quantitative Synthesis for Concurrent Programs
pp. 277
Smoothing a Program Soundly and Robustly
pp. 349
Time for Statistical Model Checking of Real-Time Systems
pp. 372
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
pp. 379
SpaceEx: Scalable Verification of Hybrid Systems
pp. 396
From Cardiac Cells to Genetic Regulatory Networks
pp. 412
Threader: A Constraint-Based Verifier for Multi-threaded Programs
pp. 457
μZ– An Efficient Engine for Fixed Points with Constraints
pp. 463
BAP: A Binary Analysis Platform
pp. 504
Bug-Assist: Assisting Fault Localization in ANSI-C Programs
pp. 526
Language Equivalence for Probabilistic Automata
pp. 573
Interpolation-Based Software Verification with Wolverine
pp. 585
PRISM 4.0: Verification of Probabilistic Real-Time Systems
pp. 592
Program Analysis for Overlaid Data Structures
pp. 609
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
pp. 663
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
pp. 669
Practical, Low-Effort Equivalence Verification of Real Code
pp. 686
Relational Abstractions for Continuous and Hybrid Systems
pp. 703
Simplifying Loop Invariant Generation Using Splitter Predicates
pp. 743
Model Checking Recursive Programs with Numeric Data Types
Similar content
1,507
A neuro-vector-symbolic architecture for solving Raven’s progressive matrices
Authors:
Michael Hersche
,
Mustafa Zeqiri
,
Luca Benini
…
ACC/AHA/ESC guidelines for the management of patients with supraventricular arrhythmias--executive summary: a report of the American College of Cardiology/American Heart Association Task Force on Practice Guidelines and the European Society of Cardiology Committee for Practice Guidelines (Writing Committee to Develop Guidelines for the Management of Patients With Supraventricular Arrhythmias).
Authors:
Carina Blomström-Lundqvist
,
Melvin M. Scheinman
,
Etienne M. Aliot
…
Executive Functions and Attention Processes in Adolescents and Young Adults with Intellectual Disability
Authors:
Tommasa Zagaria
,
Gabriella Antonucci
,
Serafino Buono
…
See all similar
Cited by
11
LLBMC: Bounded Model Checking of C and C++ Programs Using a Compiler IR
Authors:
Florian Merz
,
Stephan Falke
,
Carsten Sinz
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
Authors:
Guodong Li
,
Indradeep Ghosh
,
Sreeranga Rajan
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Authors:
Jaco Geldenhuys
,
David Bushnell
,
Willem I. Visser
…
See all cited by