Search results for "error reports"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, Galen C. Hunt	Debugging in the (very) large: ten years of implementation and experience.	SOSP	2009	DBLP DOI BibTeX RDF	blue screen of death, minidump, statistics-based debugging, classifying, labeling, bucketing, error reports
2	Mats Per Erik Heimdahl, Barbara J. Czerny	Using PVS to analyze hierarchical state-based requirements for completeness and consistency. (PDF / PS)	HASE	1996	DBLP DOI BibTeX RDF	hierarchical state based requirements specifications, input sequence, analysis procedures, large real world requirements specification, hierarchical state based language, Requirements State Machine Language, Prototype Verification System, theorem proving component, spurious error reports, formal specifications, robustness, consistency, program verification, completeness, Binary Decision Diagrams, BDDs, PVS, interactive environment, formal proofs, RSML
1	Junghoon Lee, In-Hye Shin, Hye-Jin Kim, Min-Jae Kang, Sang Joon Kim	Design of an Efficient Multicast Scheme for Vehicular Telematics Networks.	ICCSA	2009	DBLP DOI BibTeX RDF	vehicular telematics network, vehicle mobility, multicast, retransmission, mobile gateway
1	Shaz Qadeer	Algorithmic Verification of Systems Software Using SMT Solvers.	SAS	2009	DBLP DOI BibTeX RDF
1	Miguel Castro, Manuel Costa, Jean-Philippe Martin	Better bug reporting with better privacy.	ASPLOS	2008	DBLP DOI BibTeX RDF	privacy, symbolic execution, constraint solving, bug reports
1	Domagoj Babic, Alan J. Hu	Calysto: scalable and precise extended static checking.	ICSE	2008	DBLP DOI BibTeX RDF	formal verification, static analysis, static checking
1	Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal	Path projection for user-centered static analysis tools.	PASTE	2008	DBLP DOI BibTeX RDF
1	Hongseok Yang, Oukseh Lee, Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn	Scalable Shape Analysis for Systems Code.	CAV	2008	DBLP DOI BibTeX RDF
1	Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, Hany E. Ramadan, Donald E. Porter, David L. Chen, Emmett Witchel	Improved error reporting for software that uses black-box components.	PLDI	2007	DBLP DOI BibTeX RDF	software support, machine learning, classification, profiling, error report
1	Yi Zhang, S. Purushothaman Iyer	Error Report Driven Post-Mortem Analysis.	ICPC	2007	DBLP DOI BibTeX RDF
1	Westley Weimer	Patches as better bug reports.	GPCE	2006	DBLP DOI BibTeX RDF	localization, error, explanation, patch, bug, counterexample, bug report
1	Yasser Kotb, Takuya Katayama	Improving software documentation using textual entailment.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	software testing, Natural Language Processing, software quality, textual entailment, error report
1	Christoph Csallner, Yannis Smaragdakis	Check 'n' crash: combining static checking and testing.	ICSE	2005	DBLP DOI BibTeX RDF	usability, static analysis, dynamic analysis, automatic testing, test case generation, extended static checking
1	Dennis Dams, Kedar S. Namjoshi	Orion: High-Precision Methods for Static Error Analysis of C and C++ Programs.	FMCO	2005	DBLP DOI BibTeX RDF
1	Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler	Correlation exploitation in error ranking.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	error ranking, static analysis, program checking
1	Yao-Wen Huang, Fang Yu, Christian Hang, Chung-Hung Tsai, D. T. Lee, Sy-Yen Kuo	Verifying Web Applications Using Bounded Model Checking.	DSN	2004	DBLP DOI BibTeX RDF
1	Christina Hansson, Yvonne Dittrich, David W. Randall	Agile Processes Enhancing User Participation for Small Providers of Off-the-Shelf Software.	XP	2004	DBLP DOI BibTeX RDF	Agile software development, qualitative methods, user participation
1	Ted Kremenek, Dawson R. Engler	Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.	SAS	2003	DBLP DOI BibTeX RDF
1	Jin-Woo Jung, Jung-Hoon Cheon, Sangwoo Nam, Youn-Joo Lee, Hyun-Kook Kahng	Fast Move Detection over Mobile IP.	ICOIN	2002	DBLP DOI BibTeX RDF	move-detection, layer 3, Mobile IP
1	Barbara J. Czerny, Mats Per Erik Heimdahl	Identifying Domain Axioms Using Binary Decision Diagrams. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF	Static Requirements Analysis, Domain Axioms, Spurious Errors, Completeness Analysis, False Positives, Consistency Analysis, Binary Decision Diagrams (BDDs)
1	Mats Per Erik Heimdahl	Experiences and Lessons from the Analysis of TCAS II.	ISSTA	1996	DBLP DOI BibTeX RDF
1	Ivo Bolsens, W. De Rammelaere, Luc J. M. Claesen, Hugo De Man	Electrical Debugging of Synchronous MOS VLSI Circuits Exploiting Analysis of the Intended Logic Behaviour.	DAC	1989	DBLP DOI BibTeX RDF