Travelled to:1 × Austria
1 × Italy
1 × Russia
Collaborated with:R.Majumdar R.Piskac D.Chistikov S.Gulwani M.Mayer J.Kloos J.Esparza R.Ledesma-Garza P.Meyer B.K.Ozkan Mitra Tabaei Befrouei G.Weissenbacher
Talks about:program (2) random (2) cover (2) test (2) probabilist (1) increment (1) distribut (1) asynchron (1) synthesi (1) guarante (1)
Person: Filip Niksic
DBLP: Niksic:Filip
Contributed to:
2015
201420132016
2018
2018Wrote 6 papers:
- ICSE-v2-2015-GulwaniMNP #live programming #named #programming #synthesis
- StriSynth: Synthesis for Live Programming (SG, MM, FN, RP), pp. 701–704.
- CAV-2014-EsparzaLMMN #analysis #approach #smt
- An SMT-Based Approach to Coverability Analysis (JE, RLG, RM, PM, FN), pp. 603–619.
- CAV-2013-KloosMNP #incremental #induction
- Incremental, Inductive Coverability (JK, RM, FN, RP), pp. 158–173.
- CAV-2016-ChistikovMN #product line #source code
- Hitting Families of Schedules for Asynchronous Programs (DC, RM, FN), pp. 157–176.
- OOPSLA-2018-OzkanMNBW #distributed #probability #random #testing
- Randomized testing of distributed systems with probabilistic guarantees (BKO, RM, FN, MTB, GW), p. 28.
- POPL-2018-MajumdarN #debugging #effectiveness #question #random testing #testing #why
- Why is random testing effective for partition tolerance bugs? (RM, FN), p. 24.