RNDr. Marek Chalupa
| E‑mail: |
|
|---|
Publications
Total number of publications: 11
2020
-
DG: A program analysis library
Software Impacts, year: 2020, volume: 2020, edition: 6, DOI
-
DG: Analysis and Slicing of LLVM Bitcode
The 18?? International Symposium on Automated Technology for Verification and Analysis, year: 2020
-
Joint Forces for Memory Safety Checking Revisited
International Journal on Software Tools for Technology Transfer (STTT), year: 2020, volume: 2020, edition: 22, DOI
-
Symbiotic 6: generating test cases by slicing and symbolic execution
International Journal on Software Tools for Technology Transfer, year: 2020, volume: 22, edition: Special Issue: TestComp2019, DOI
-
Symbiotic 7: Integration of Predator and More (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, year: 2020
2019
-
Evaluation of Program Slicing in Software Verification
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings, year: 2019
2018
-
Data-centric Dynamic Partial Order Reduction
Proceedings of Symposium on Principles of Programming Languages 2018, year: 2018
-
Joint Forces for Memory Safety Checking
Model Checking Software. SPIN 2018, year: 2018
-
Symbiotic 5: Boosted Instrumentation (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems, 24th International Conference, Proceedings, Part II, year: 2018
2017
-
Symbiotic 4: Beyond Reachability (Competition Contribution)
Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, year: 2017