- 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
- Author(s):
- Andrus, Jeremy Christian; Dall, Christoffer; Van't Hof, Alexander Edward; Laadan, Oren; Nieh, Jason
- 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:10680
- Author(s):
- Seo, SungHoon; Janak, Jan; Schulzrinne, Henning G.
- 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:10685
- Author(s):
- Ben Salem, Malek; Stolfo, Salvatore
- 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:10673
- Author(s):
- Nayar, Shree K.
- 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:10527
- Author(s):
- Yang, Junfeng; Cui, Ang; Gallagher, John Martin; Stolfo, Salvatore; Sethumadhavan, Lakshminarasimhan
- 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:10681
37 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
- Author(s):
- Ben Salem, Malek; Stolfo, Salvatore
- 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:10529
- Author(s):
- Wu, Leon Li; Kaiser, Gail E.; Rudin, Cynthia; Anderson, Roger N.
- 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:12174
- Author(s):
- Ben Salem, Malek; Stolfo, Salvatore
- 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:10528
