Write a Blog >>
ICST 2020
Sat 24 - Wed 28 October 2020 Porto, Portugal
Sun 25 Oct 2020 14:30 - 15:00 at Infante - RT4 - Misc 1 Chair(s): Andrea Stocco
Mon 26 Oct 2020 01:30 - 02:00 at Infante - RT4 - Misc 1 Chair(s): Corina S. Pasareanu

The Node.js platform empowers a huge number of software systems programmed with JavaScript. Node.js employs an asynchronous execution model where event handlers are scheduled nondeterministically, and unexpected races between event handlers often cause malfunctions. Existing techniques for detecting such event races require complex modifications of the Node.js internals, or target only certain kinds of races. This paper presents a new approach, called NODERACER, that detects event races in Node.js applications by selectively postponing events, guided by happens-before relations. The technique is implemented entirely with code instrumentation, without modifications of the Node.js system. Our experimental results give evidence that NODERACER finds event race errors with higher probability than a state-of-the-art fuzzer, and that the use of happens-before relations helps avoiding false positives. Furthermore, we demonstrate that NODERACER produces actionable error reports, and that it can be helpful for detecting test flakiness that is caused by event races.

Sun 25 Oct
Times are displayed in time zone: Lisbon change

14:00 - 15:00
RT4 - Misc 1Research Papers at Infante +11h
Chair(s): Andrea StoccoUniversità della Svizzera italiana (USI)
14:00
30m
Talk
Determining Method-Call Sequences for Object Creation in C++
Research Papers
Thomas BachHeidelberg University, Ralf PannemansSAP, Artur AndrzejakHeidelberg University
Link to publication DOI
14:30
30m
Talk
NodeRacer: Event Race Detection for Node.js Applications
Research Papers
André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University, Denmark
Link to publication DOI

Mon 26 Oct
Times are displayed in time zone: Lisbon change

01:00 - 02:00
RT4 - Misc 1Research Papers at Infante
Chair(s): Corina S. PasareanuCarnegie Mellon University Silicon Valley, NASA Ames Research Center
01:00
30m
Talk
Determining Method-Call Sequences for Object Creation in C++
Research Papers
Thomas BachHeidelberg University, Ralf PannemansSAP, Artur AndrzejakHeidelberg University
Link to publication DOI
01:30
30m
Talk
NodeRacer: Event Race Detection for Node.js Applications
Research Papers
André T. EndoFederal University of Technology - Paraná (UTFPR), Anders MøllerAarhus University, Denmark
Link to publication DOI