ESEC/FSE 2018
Sun 4 - Fri 9 November 2018 Lake Buena Vista, Florida, United States
ESEC/FSE 2018 (series) / New Ideas and Emerging Results /

Towards Counterexample-guided k-Induction for Fast Bug Detection

Mikhail R. Gadelha, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
ESEC/FSE 2018 New Ideas and Emerging Results
Wed 7 Nov 2018 14:08 - 14:21 at Horizons 6-9F - NIER II Chair(s): Gail Kaiser
small-avatar
Mikhail R. Gadelha
University of Southampton
Felipe R. Monteiro
Felipe R. Monteiro
Federal University of Amazonas
Brazil
Lucas C. Cordeiro
Lucas C. Cordeiro
University of Manchester, UK
United Kingdom
small-avatar
Denis A. Nicole
University of Southampton

Wed 7 Nov

fse-2018-NIER
13:30 - 15:00: New Ideas and Emerging Results - NIER II at Horizons 6-9F
Chair(s): Gail KaiserColumbia University, New York
fse-2018-NIER13:30 - 13:42
Talk
Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KästnerCarnegie Mellon University
fse-2018-NIER13:42 - 13:55
Talk
Yuriy BrunUniversity of Massachusetts Amherst, Alexandra MeliouUniversity of Massachusetts Amherst
Link to publication DOI Pre-print
fse-2018-NIER13:55 - 14:08
Talk
Elena ShermanBoise State University, Robert DyerBowling Green State University
fse-2018-NIER14:08 - 14:21
Talk
Mikhail R. GadelhaUniversity of Southampton, Felipe R. MonteiroFederal University of Amazonas, Lucas C. CordeiroUniversity of Manchester, UK, Denis A. NicoleUniversity of Southampton
fse-2018-NIER14:21 - 14:34
Talk
Yuan HuangSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Nan JiaSchool of Management Science and Engineering, Hebei GEO University, Shijiazhuang, China, Xiangping Chen, Kai HongSchool of Data and Computer Science, Sun Yat-sen University, Guangzhou, China, Zibin Zheng
fse-2018-NIER14:34 - 14:47
Talk
Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project
fse-2018-NIER14:47 - 15:00
Talk
Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University