ESEC/FSE 2018 (series) / New Ideas and Emerging Results /
Towards Counterexample-guided k-Induction for Fast Bug Detection
Wed 7 Nov
13:30 - 15:00: New Ideas and Emerging Results - NIER II at Horizons 6-9F Chair(s): Gail KaiserColumbia University, New York | ||||||||||||||||||||||||||||||||||||||||||
13:30 - 13:42 Talk | Chu-Pan WongCarnegie Mellon University, Jens MeinickeMagdeburg University, Christian KästnerCarnegie Mellon University | |||||||||||||||||||||||||||||||||||||||||
13:42 - 13:55 Talk | Link to publication DOI Pre-print | |||||||||||||||||||||||||||||||||||||||||
13:55 - 14:08 Talk | ||||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
14: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 | |||||||||||||||||||||||||||||||||||||||||
14:34 - 14:47 Talk | Jinglei RenPersper Foundation, Hezheng YinUniversity of California, Berkeley, Qingda HuTsinghua University, Armando FoxUC Berkeley, Wojciech KoszekThe FreeBSD Project | |||||||||||||||||||||||||||||||||||||||||
14:47 - 15:00 Talk | Davoud MougoueiMonash University, Harsha PereraMonash University, Waqar HussainMonash University, Rifat ShamsMonash University, Jon WhittleMonash University |