Constraint Programming for Dynamic Symbolic Execution of JavaScript.

Roberto Amadini, Mak Andrlon, Graeme Gange, Peter Schachte, Harald Sndergaard, Peter J. Stuckey

Browse the full CPAIOR paper archive.