Concepedia

Matthew S. Tschantz

MS

Statistics

Publications

4

Citations

1.2K

H-Index

4

Active since

2004

Affiliations

Massachusetts Institute of Technology(Current)

Matthew S. Tschantz is an author at Massachusetts Institute of Technology specializing in engineering, program analysis, and software analysis.

Top concepts

EngineeringProgram AnalysisSoftware AnalysisVerificationFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningFormal VerificationSoftware Engineering

Publications per year

2004–2007

4

Publications

4

The Daikon system for dynamic detection of likely invariants

Michael D. Ernst, Jeff Perkins, Philip J. Guo et al. · Science of Computer Programming · 2007 · 1K citations

Daikon System, Engineering, Runtime Verification +10

Matthew S. Tschantz, Michael D. Ernst · 2005 · 129 citations

Engineering, Generic Programming, Automated Reasoning +15

Converting java programs to use generic libraries

Alan Donovan, Adam Kieżun, Matthew S. Tschantz et al. · 2004 · 61 citations

Java Programs, Engineering, Generic Programming +10

Matthew S. Tschantz, Michael D. Ernst · ACM SIGPLAN Notices · 2005 · 11 citations

Engineering, Generic Programming, Automated Reasoning +15

1–4 of 4