Jacob Burnim

Heuristics for Scalable Dynamic Test Generation

Jacob Burnim, Koushik Sen · 2008 · 408 citations

Computing, Computer Engineering, Computer Science +15

WISE: Automated test generation for worst-case complexity

Jacob Burnim, Sudeep Juvekar, Koushik Sen · 2009 · 129 citations

Computing, Computer Engineering, Computer Science +13

Testing concurrent programs on relaxed memory models

Jacob Burnim, Koushik Sen, Christos Stergiou · 2011 · 84 citations

Computing, Computer Engineering, Computer Science +17

Asserting and checking determinism for multithreaded programs

Jacob Burnim, Koushik Sen · 2009 · 69 citations

Computing, Computer Science, Impact Measurement +6

Looper: Lightweight Detection of Infinite Loops at Runtime

Jacob Burnim, Nicholas Jalbert, Christos Stergiou et al. · 2009 · 50 citations

Computing, Computer Science, Algorithms +11