Markus Kusano

16 papers A* 5A 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2019 — conf
FUDGE: fuzz driver generation at scale.
ESEC/SIGSOFT FSE
Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
2018 — —
Constraint-Based Thread-Modular Abstract Interpretation.
Markus Kusano
2017 J jnl
Flow-Sensitive Composition of Thread-Modular Abstract Interpretation.
CoRR
Markus Kusano, Chao Wang
2017 J jnl
Modular Verification of Interrupt-Driven Software.
CoRR
Chungha Sung, Markus Kusano, Chao Wang
2017 A* conf
Modular verification of interrupt-driven software.
ASE
Chungha Sung, Markus Kusano, Chao Wang
2017 J jnl
Thread-Modular Static Analysis for Relaxed Memory Models.
CoRR
Markus Kusano, Chao Wang
2017 — conf
Thread-modular static analysis for relaxed memory models.
ESEC/SIGSOFT FSE
Markus Kusano, Chao Wang
2016 A* conf
Conc-iSE: incremental symbolic execution of concurrent software.
ASE
Shengjian Guo, Markus Kusano, Chao Wang
2016 — conf
Flow-sensitive composition of thread-modular abstract interpretation.
SIGSOFT FSE
Markus Kusano, Chao Wang
2016 — conf
Static DOM event dependency analysis for testing web applications.
SIGSOFT FSE
Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang
2015 — conf
Assertion guided symbolic execution of multithreaded programs.
ESEC/SIGSOFT FSE
Shengjian Guo, Markus Kusano, Chao Wang, Zijiang Yang, Aarti Gupta
2015 A conf
ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs.
ISSTA
Sepideh Khoshnood, Markus Kusano, Chao Wang
2015 — conf
Dynamic Generation of Likely Invariants for Multithreaded Programs.
ICSE (1)
Markus Kusano, Arijit Chattopadhyay, Chao Wang
2015 A* conf
Dynamic partial order reduction for relaxed memory models.
PLDI
Naling Zhang, Markus Kusano, Chao Wang
2014 A* conf
Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction.
ASE
Markus Kusano, Chao Wang
2013 A* conf
CCmutator: A mutation generator for concurrency constructs in multithreaded C/C++ applications.
ASE
Markus Kusano, Chao Wang