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
37
views
11
references
Top references
cited by
17
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,402
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Tools and Algorithms for the Construction and Analysis of Systems
Path Feasibility Analysis for String-Manipulating Programs
other
Author(s):
Nikolaj Bjørner
,
Nikolai Tillmann
,
Andrei Voronkov
Publication date
(Print):
2009
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
Path of Science
Most cited references
11
Record
: found
Abstract
: not found
Article
: not found
Symbolic execution and program testing
James C King
(1976)
0
comments
Cited
164
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
Pex–White Box Test Generation for .NET
Nikolai Tillmann
,
Jonathan de Halleux
(2008)
0
comments
Cited
48
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
DART
Koushik Sen
,
Patrice Godefroid
,
Nils Klarlund
(2005)
0
comments
Cited
33
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2009
Pages
: 307-321
DOI:
10.1007/978-3-642-00768-2_27
SO-VID:
f8d6a569-cf0d-4b66-8b1a-2a3ac4975b78
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Hierarchical Set Decision Diagrams and Regular Models
pp. 16
Büchi Complementation and Size-Change Termination
pp. 31
Learning Minimal Separating DFA’s for Compositional Verification
pp. 46
RBAC-PAT: A Policy Analysis Tool for Role Based Access Control
pp. 50
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets
pp. 54
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
pp. 58
Alpaga: A Tool for Solving Parity Games with Imperfect Information
pp. 62
Compositional Predicate Abstraction from Game Semantics
pp. 77
Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications
pp. 92
Computing Weakest Strategies for Safety Games of Imperfect Information
pp. 107
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
pp. 124
Semantic Reduction of Thread Interleavings in Concurrent Programs
pp. 139
Inferring Synchronization under Limited Observability
pp. 155
The Complexity of Predicting Atomicity Violations
pp. 170
MoonWalker: Verification of .NET Programs
pp. 178
The Yogi Project: Software Property Checking via Static Analysis and Testing
pp. 182
TaPAS: The Talence Presburger Arithmetic Suite
pp. 186
Transition-Based Directed Model Checking
pp. 201
Memoised Garbage Collection for Software Model Checking
pp. 215
Hierarchical Adaptive State Space Caching Based on Level Sampling
pp. 230
Static Analysis Techniques for Parameterised Boolean Equation Systems
pp. 262
From Tests to Proofs
pp. 277
Test Input Generation for Programs with Pointers
pp. 292
Specification Mining with Few False Positives
pp. 307
Path Feasibility Analysis for String-Manipulating Programs
pp. 322
Symbolic String Verification: Combining String Analysis and Size Analysis
pp. 337
Iterating Octagons
pp. 352
Verifying Reference Counting Implementations
pp. 368
Falsification of LTL Safety Properties in Hybrid Systems
pp. 383
Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear Constraints
pp. 398
All-Termination(T)
pp. 413
Ground Interpolation for the Theory of Equality
pp. 428
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
pp. 443
Bridging the Gap Between Model-Based Development and Model Checking
Similar content
2,402
Remating responses are consistent with male postcopulatory manipulation but not reinforcement in D. pseudoobscura
Authors:
Jeremy Davis
,
Dean Castillo
,
Leonie C. Moyle
Manipulation of auxin signalling by plant viruses
Authors:
Maximilian Müllender
,
Mark Varrelmann
,
Eugene I. Savenkov
…
Spin‐Manipulated Photonic Skyrmion‐Pair for Pico‐Metric Displacement Sensing
Authors:
Aiping Yang
,
Xinrui Lei
,
Peng Shi
…
See all similar
Cited by
17
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
Authors:
Guodong Li
,
Indradeep Ghosh
,
Sreeranga Rajan
Progressive Reasoning over Recursively-Defined Strings
Authors:
Minh-Thai Trinh
,
Duc-Hiep Chu
,
Joxan Jaffar
An Evaluation of Automata Algorithms for String Analysis
Authors:
Pieter Hooimeijer
,
Margus Veanes
See all cited by