- Author(s):
- Wu, Leon; Kaiser, Gail E.
- Date:
- 2013
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:19679
- Author(s):
- Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:15273
- Author(s):
- Sheth, Swapneel Kalpesh; Bell, Jonathan Schaffer; Kaiser, Gail E.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:15272
- Author(s):
- Sheth, Swapneel Kalpesh; Kaiser, Gail E.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:14776
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:14722
- Author(s):
- Bell, Jonathan Schaffer; Sarda, Nikhil; Kaiser, Gail E.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:14436
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.; Solomon, David M.; Winter, Rebecca Lynn; Boulanger, Albert; Anderson, Roger N.
- Date:
- 2012
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:13213
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Waltz, David L.; Anderson, Roger N.; Boulanger, Albert G.; Salleb-Aouissi, Ansaf; Dutta, Haimonti; Pooleery, Manoj
- Date:
- 2011
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:13133
- Author(s):
- Wu, Leon Li; Xie, Boyi; Kaiser, Gail E.; Passonneau, Rebecca
- Date:
- 2011
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:13132
10 Constructing Subtle Concurrency Bugs Using Synchronization-Centric Second-Order Mutation Operators
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.
- Date:
- 2011
- Subject:
- Computer science
- Content Type:
- Technical reports
- Publisher:
- Department of Computer Science, Columbia University
- Permanent URL:
- http://hdl.handle.net/10022/AC:P:13131
