ESEC/FSE 2018 (series) / Student Research Competition /
Dara - Hybrid Model Checking of Distributed Systems
Tue 6 Nov 2018 10:00 - 10:30 at Horizons 1-4F - SRC Posters I
Tue 6 Nov 2018 15:00 - 15:30 at Horizons 1-4F - SRC Posters II
Tue 6 Nov 2018 15:00 - 15:30 at Horizons 1-4F - SRC Posters II
Tue 6 NovDisplayed time zone: Guadalajara, Mexico City, Monterrey change
Tue 6 Nov
Displayed time zone: Guadalajara, Mexico City, Monterrey change
10:00 - 10:30 | |||
10:00 30mPoster | How Dance(Sport) Can Help to Produce Better Software Student Research Competition | ||
10:00 30mPoster | Towards Learning-Augmented Languages Student Research Competition Xinyuan Sun University of California, Davis | ||
10:00 30mPoster | Feature-Interaction Aware Configuration Prioritization Student Research Competition Son Nguyen The University of Texas at Dallas | ||
10:00 30mPoster | Diversity and Decorum in Open Source Communities Student Research Competition Neill Robson NC State University | ||
10:00 30mPoster | Type Migration in Large-Scale Code Bases Student Research Competition Ameya Ketkar Oregon State University, USA | ||
10:00 30mPoster | Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs Student Research Competition David A Tomassi University of California, Davis | ||
10:00 30mPoster | Mining Error-Handling Specifications for Systems Software Student Research Competition Daniel DeFreez University of California, Davis | ||
10:00 30mPoster | Automated Scenario-based Integration Testing of Distributed Systems Student Research Competition Bruno Lima Faculty of Engineering, University of Porto and INESC TEC | ||
10:00 30mPoster | Reshaping Distributed Agile and Adaptive Development Environment Student Research Competition Francesco Nocera Polytechnic University of Bari | ||
10:00 30mPoster | On the Adoption of Neural Networks in Modeling Software Reliability Student Research Competition | ||
10:00 30mPoster | Dara - Hybrid Model Checking of Distributed Systems Student Research Competition Vaastav Anand University of British Columbia | ||
15:00 - 15:30 | |||
15:00 30mPoster | Reshaping Distributed Agile and Adaptive Development Environment Student Research Competition Francesco Nocera Polytechnic University of Bari | ||
15:00 30mPoster | Diversity and Decorum in Open Source Communities Student Research Competition Neill Robson NC State University | ||
15:00 30mPoster | On the Adoption of Neural Networks in Modeling Software Reliability Student Research Competition | ||
15:00 30mPoster | Towards Learning-Augmented Languages Student Research Competition Xinyuan Sun University of California, Davis | ||
15:00 30mPoster | Mining Error-Handling Specifications for Systems Software Student Research Competition Daniel DeFreez University of California, Davis | ||
15:00 30mPoster | How Dance(Sport) Can Help to Produce Better Software Student Research Competition | ||
15:00 30mPoster | Feature-Interaction Aware Configuration Prioritization Student Research Competition Son Nguyen The University of Texas at Dallas | ||
15:00 30mPoster | Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs Student Research Competition David A Tomassi University of California, Davis | ||
15:00 30mPoster | Type Migration in Large-Scale Code Bases Student Research Competition Ameya Ketkar Oregon State University, USA | ||
15:00 30mPoster | Dara - Hybrid Model Checking of Distributed Systems Student Research Competition Vaastav Anand University of British Columbia | ||
15:00 30mPoster | Automated Scenario-based Integration Testing of Distributed Systems Student Research Competition Bruno Lima Faculty of Engineering, University of Porto and INESC TEC | ||
