Christoph Csallner
Software, Practice & Experience · 2004
A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 22 researchers here, as inferred from the citation graph.
Whom Christoph Csallner trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Christoph Csallner overall
- Gordon Fraser
- Carlos Pacheco
- Jacob Burnim
- Michael D. Ernst
- Koushik Sen
- Stephan Lukasczyk
- Sainyam Galhotra
- Max Schäfer
- Tao Xie
- Andrea Arcuri
Papers from Christoph Csallner's perspective
Ordered by how strongly the researchers Christoph Csallner trusts endorse each paper. Same corpus, a different order for every researcher.
- Test-infected: programmers love writing tests
- A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (European Conference on Object-Oriented Programming)
- Black Box Testing: Techniques for Functional Testing of Software and Systems
- Hierarchical GUI Test Case Generation Using Automated Planning (IEEE Trans. Software Eng.)
- QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
- Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
- An empirical study of the robustness of Windows NT applications using random testing
- The unified modeling language reference manual
- Simplify: a theorem prover for program checking (JACM)
- An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
Their papers
- JCrasher: an automatic robustness tester for Java (2004) — 475 citations