Nels E. Beckman

Proofs from tests

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani et al. · 2008 · 120 citations

Computing, Computer Engineering, Computer Science +16

Verifying correct usage of atomic blocks and typestate

Nels E. Beckman, Kevin Bierhoff, Jonathan Aldrich · 2008 · 70 citations

Computing, Computer Science, Formal Methods +16

Proofs from Tests

Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani et al. · IEEE Transactions on Software Engineering · 2010 · 64 citations

Computing, Computer Engineering, Computer Science +16

An empirical study of object protocols in the wild

Nels E. Beckman, Duri Kim, Jonathan Aldrich · Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) · 2011 · 56 citations

Computing, Computer Science, Computer Systems +14

Probabilistic, modular and scalable inference of typestate specifications

Nels E. Beckman, Aditya V. Nori · ACM SIGPLAN Notices · 2011 · 39 citations

Computing, Computer Engineering, Computer Science +16