Search results for "daikon"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Christoph Csallner, Nikolai Tillmann, Yannis Smaragdakis	DySy: dynamic symbolic execution for invariant inference.	ICSE	2008	DBLP DOI BibTeX RDF	daikon, dynamic invariant inference, dysy, pex, symbolic reasoning
59	Jeremy W. Nimmer, Michael D. Ernst	Invariant inference for static checking.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF
40	Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001	A comparative study of programmer-written and automatically inferred contracts.	ISSTA	2009	DBLP DOI BibTeX RDF	dynamic contract inference, eiffel
40	Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell	Extending dynamic constraint detection with disjunctive constraints.	WODA	2008	DBLP DOI BibTeX RDF	disjunctive constraint, dynamic constraint inference, behavioral specification
40	Xiaoxia Ren, Fenil Shah, Frank Tip, Barbara G. Ryder, Ophelia C. Chesley	Chianti: a tool for change impact analysis of java programs.	OOPSLA	2004	DBLP DOI BibTeX RDF	analysis of object-oriented programs, regression test, unit test, change impact analysis
40	Engelbert Hubbers	Integrating Tools for Automatic Program Verification.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF
40	Neelam Gupta, Zachary V. Heidepriem	A New Structural Coverage Criterion for Dynamic Detection of Program Invariants.	ASE	2003	DBLP DOI BibTeX RDF	dynamic analysis, Test data generation, execution traces, path testing, program invariants
40	Michael D. Ernst, Jake Cockrell, William G. Griswold, David Notkin	Dynamically Discovering Likely Program Invariants to Support Program Evolution.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	pattern recognition, formal specification, software evolution, dynamic analysis, execution traces, logical inference, Program invariants
40	Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin	Quickly detecting relevant program invariants.	ICSE	2000	DBLP DOI BibTeX RDF
37	Farhana Rahman, Yvan Labiche	A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts.	QSIC	2014	DBLP DOI BibTeX RDF
37	Nehul Jain, Saikat Dutta 0001, Ansuman Banerjee, Anil Kumar Ghosh 0001, Lihua Xu, Huibiao Zhu	Using Daikon to Prioritize and Group Unit Bugs.	FACS	2013	DBLP DOI BibTeX RDF
37	Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, Chen Xiao	The Daikon system for dynamic detection of likely invariants.	Sci. Comput. Program.	2007	DBLP DOI BibTeX RDF
37	Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia	From daikon to agitator: lessons and challenges in building a commercial tool for developer testing.	ISSTA	2006	DBLP DOI BibTeX RDF	automated testing tools, developer testing, software agitation, unit testing, technology transfer, dynamic invariant detection, test-input generation
37	Jeremy W. Nimmer, Michael D. Ernst	Static verification of dynamically detected program invariants: Integrating Daikon and ESC/Java.	RV@CAV	2001	DBLP DOI BibTeX RDF
20	David Lo 0001, Shahar Maoz	Mining scenario-based specifications with value-based invariants.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	value-based invariants, live sequence charts, specification mining
20	Manuel Palomo-Duarte, Antonio García-Domínguez, Inmaculada Medina-Bulo	Improving Takuan to Analyze a Meta-Search Engine WS-BPEL Composition.	SOSE	2008	DBLP DOI BibTeX RDF
20	Francesco Bernardini, Marian Gheorghe 0001, Francisco José Romero-Campero, Neil Walkinshaw	A Hybrid Approach to Modeling Biological Systems.	Workshop on Membrane Computing	2007	DBLP DOI BibTeX RDF
20	Tao Xie 0001, David Notkin	Tool-assisted unit-test generation and selection based on operational abstractions.	Autom. Softw. Eng.	2006	DBLP DOI BibTeX RDF
20	Xiaoxia Ren, Ophelia C. Chesley, Barbara G. Ryder	Identifying Failure Causes in Java Programs: An Application of Change Impact Analysis.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	semantic change impact analysis, edit change dependence, intermediate versions of programs, regression testing, Fault localization
20	Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard	Inference and enforcement of data structure consistency specifications.	ISSTA	2006	DBLP DOI BibTeX RDF	data structure repair, dynamic invariant detection
20	Christoph Csallner, Yannis Smaragdakis	Dynamically discovering likely interface invariants.	ICSE	2006	DBLP DOI BibTeX RDF	invariant detection, method overriding, interfaces, dynamic analysis
20	Dick Hamlet	Invariants and state in testing and formal methods.	PASTE	2005	DBLP DOI BibTeX RDF
20	Tao Xie 0001, David Notkin	Tool-Assisted Unit Test Selection Based on Operational Violations.	ASE	2003	DBLP DOI BibTeX RDF
20	Michael D. Ernst	Summary of Dynamically Discovering Likely Program Invariants.	ICSM	2001	DBLP DOI BibTeX RDF
20	Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin	Automated Support for Program Refactoring Using Invariants.	ICSM	2001	DBLP DOI BibTeX RDF	static analysis, refactoring, dynamic analysis, invariant, program understanding, maintainability, readability