Clyde Ruby

SOEN · 2006

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Papers from Clyde Ruby's perspective

Ordered by how strongly the researchers Clyde Ruby trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Test-infected: programmers love writing tests
  2. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  4. The unified modeling language reference manual
  5. High Integrity Software - The SPARK Approach to Safety and Security
  6. The Spec# Programming System: An Overview (Construction and Analysis of Safe, Secure, and Interoperable Smart Devices)
  7. Verification of Object-Oriented Programs with Invariants (Journal of Object Technology)
  8. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  9. Finding latent code errors via machine learning over program executions
  10. Simplify: a theorem prover for program checking (JACM)

Their papers