Sortiert nach
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE), 2020, p.789-800
2020
- Link zum Volltext
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE), 2016, p.144-155
2016
- Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.3-20
Link zum Volltext
2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2018, p.768-778
2018
- Link zum Volltext
Static Analysis, p.105-125
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-04, Vol.149 (Proc. F-IDE 2014), p.3-15
2014
Link zum Volltext
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 185
2020
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, 2022, Vol.13182, p.425-449
2022
Link zum Volltext
FM 2012: Formal Methods, p.132-146
Link zum Volltext
Computer Aided Verification, p.380-397
Link zum Volltext
Static Analysis, 2021, Vol.12913, p.429-452
2021
Link zum Volltext
Verification, Model Checking, and Abstract Interpretation, p.336-354
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.424-441
Link zum Volltext
Software Engineering and Formal Methods, p.65-80
Link zum Volltext
FM 2011: Formal Methods, p.154-168
- Klebanov, Vladimir
- Müller, Peter
- Shankar, Natarajan
- Leavens, Gary T.
- Wüstholz, Valentin
- Alkassar, Eyad
- Arthan, Rob
- Bronish, Derek
- Chapman, Rod
- Cohen, Ernie
- Hillebrand, Mark
- Jacobs, Bart
- Leino, K. Rustan M.
- Monahan, Rosemary
- Piessens, Frank
- Polikarpova, Nadia
- Ridge, Tom
- Smans, Jan
- Tobies, Stephan
- Tuerk, Thomas
- Ulbrich, Mattias
- Weiß, Benjamin
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Software And Its Engineering
- Symbolic Execution
- Abstract Interpretation
- Dynamic Symbolic Execution
- Logic
- Object Invariant
- Proof Obligation
- Science & Technology - Other Topics
- Software And Its Engineering -- Software Creation And Management
- Static Analysis
- Test Case Generation
- Theory Of Computation
- Abstract Domain
- Abstract Interpreter
- Abstraction
Kollektion