Active Bibliography

21 Discovering documentation for java container classes – Johannes Henkel, Christoph Reichenbach, Amer Diwan - 2007
Discovering Algebraic Specifications for Java Classes – Johannes Henkel, Christoph Reichenbach, Amer Diwan - 2004
551 Dynamically discovering likely program invariants to support program evolution – M D Ernst, J Cockrell, W G Griswold, D Notkin - 2001
540 DART: Directed automated random testing – Patrice Godefroid, Nils Klarlund, Koushik Sen - 2005
2 Improving Effectiveness of Automated Software Testing in the Absence of Specifications – Tao Xie, Tao Xie, David Notkin, Richard Anderson, David Notkin, Wolfram Schulte, Tao Xie - 2006
527 Wrapper Induction for Information Extraction – Nicholas Kushmerick - 1997
635 A classification and comparison framework for software architecture description languages – Nenad Medvidovic, Richard N. Taylor - 2000
1068 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
639 A Survey of Program Slicing Techniques – F. Tip - 1995