Matthew S. Tschantz

Software · 2007

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

Subfields

Whom Matthew S. Tschantz trusts

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Greg Nelson (in Software)

Papers from Matthew S. Tschantz's perspective

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

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Tracking down software bugs using automatic anomaly detection (Proceedings of the 24th International Conference on Software Engineering. ICSE 2002)
  3. Bug isolation via remote program sampling (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  4. Finding latent code errors via machine learning over program executions
  5. Simplify: a theorem prover for program checking (JACM)
  6. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  7. Automatic extraction of object-oriented component interfaces (International Symposium on Software Testing and Analysis)
  8. Predicting Fault Incidence Using Software Change History (IEEE Trans. Software Eng.)
  9. Bugs as deviant behavior: a general approach to inferring errors in systems code
  10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers