Search results for "bug detection"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Michael D. Bond, Graham Z. Baker, Samuel Z. Guyer	Breadcrumbs: efficient context sensitivity for dynamic bug detection analyses.	PLDI	2010	DBLP DOI BibTeX RDF	dynamic analysis, context sensitivity, bug detection
2	Kypros Constantinides, Onur Mutlu, Todd M. Austin	Online design bug detection: RTL analysis, flexible mechanisms, and evaluation.	MICRO	2008	DBLP DOI BibTeX RDF
2	Michael D. Bond, Kathryn S. McKinley	Probabilistic calling context.	OOPSLA	2007	DBLP DOI BibTeX RDF	anomaly-based bug detection, dynamic context sensitivity, residual testing, intrusion detection, probabilistic, calling context, managed languages
2	Lingxiao Jiang, Zhendong Su, Edwin Chiu	Context-based detection of clone-related bugs.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	code clone detection, code clone-related bugs, context-based bug detection, inconsistencies
2	Shan Lu, Soyeon Park, Chongfeng Hu, Xiao Ma, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou	MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs.	SOSP	2007	DBLP DOI BibTeX RDF	variable correlation, concurrency bug, bug detection
2	Eric Larson	SUDS: an infrastructure for dynamic software bug detection using static analysis.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	software engineering, software testing, static analysis, instrumentation, software verification, testing tools
2	Shan Lu, Pin Zhou, Wei Liu, Yuanyuan Zhou, Josep Torrellas	PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection.	MICRO	2006	DBLP DOI BibTeX RDF
2	Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff	Argus: Online Statistical Bug Detection.	FASE	2006	DBLP DOI BibTeX RDF
2	Eric Larson	An undergraduate course on software bug detection tools and techniques.	SIGCSE	2006	DBLP DOI BibTeX RDF	software engineering, compilers, software testing, computer science education, computer security, software verification
2	Zhenmin Li, Lin Tan, Xuanhui Wang, Shan Lu, Yuanyuan Zhou, Chengxiang Zhai	Have things changed now?: an empirical study of bug characteristics in modern open source software.	ASID	2006	DBLP DOI BibTeX RDF	bug characteristics, security, empirical study, open source, bug detection
2	Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou	AVIO: detecting atomicity violations via access interleaving invariants.	ASPLOS	2006	DBLP DOI BibTeX RDF	concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
2	Yichen Xie, Alexander Aiken	Saturn: A SAT-Based Tool for Bug Detection.	CAV	2005	DBLP DOI BibTeX RDF
2	Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel	An empirical framework for comparing effectiveness of testing and property-based formal analysis.	PASTE	2005	DBLP DOI BibTeX RDF	model checking, static analysis, empirical software engineering, mutation testing, bug detection
2	V. Benjamin Livshits, Monica S. Lam	Tracking pointers with path and context sensitivity for bug detection in C programs.	ESEC / SIGSOFT FSE	2003	DBLP DOI BibTeX RDF	SSA representation, program analysis, error detection, software security, pointer analysis, program representation, context-sensitive analysis, buffer overruns, path-sensitive analysis, security flaws
1	Saeed Parsa, Somaye Arabi Naree	Software online bug detection: applying a new kernel method.	IET Software	2012	DBLP DOI BibTeX RDF
1	Nilam Kaushik, Ladan Tahvildari	A Comparative Study of the Performance of IR Models on Duplicate Bug Detection.	CSMR	2012	DBLP DOI BibTeX RDF
1	Bowen Zhou, Milind Kulkarni, Saurabh Bagchi	Vrisha: using scaling properties of parallel programs for bug detection and localization.	HPDC	2011	DBLP DOI BibTeX RDF
1	Ming Gao, Peter Lisherness, Kwang-Ting (Tim) Cheng	Post-silicon bug detection for variation induced electrical bugs.	ASP-DAC	2011	DBLP DOI BibTeX RDF
1	Milan Jovic, Andrea Adamoli, Matthias Hauswirth	Catch me if you can: performance bug detection in the wild.	OOPSLA	2011	DBLP DOI BibTeX RDF
1	Nishant Sinha	Modular bug detection with inertial refinement.	FMCAD	2010	DBLP BibTeX RDF
1	Caryna Pinheiro, Frank Maurer, Jonathan Sillito	Improving Responsiveness, Bug Detection, and Delays in a Bureaucratic Setting: A Longitudinal Empirical IID Adoption Case Study.	XP	2010	DBLP DOI BibTeX RDF
1	Brandon Lucia, Luis Ceze, Karin Strauss, Shaz Qadeer, Hans-Juergen Boehm	Conflict exceptions: simplifying concurrent language semantics with precise hardware exceptions for data-races.	ISCA	2010	DBLP DOI BibTeX RDF	multicores, threads, data-races, memory consistency models, bug detection
1	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm, Kathryn S. McKinley	Jinn: synthesizing dynamic bug detectors for foreign language interfaces.	PLDI	2010	DBLP DOI BibTeX RDF	ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
1	Cristina Cifuentes, Nathan Keynes, Lian Li, Bernhard Scholz	Program analysis for bug detection using parfait: invited talk.	PEPM	2009	DBLP DOI BibTeX RDF	partial evaluation, symbolic analysis, constant propagation
1	Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp	Automatic Bug Detection in Microcontroller Software by Static Program Analysis.	SOFSEM	2009	DBLP DOI BibTeX RDF
1	Martin Dimitrov, Huiyang Zhou	Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging.	ASPLOS	2009	DBLP DOI BibTeX RDF	automated debugging, architectural support
1	Yungbum Jung, Hakjoo Oh, Kwangkeun Yi	Identifying static analysis techniques for finding non-fix hunks in fix revisions.	CIKM-DSMM	2009	DBLP DOI BibTeX RDF	static analysis, mining software repository
1	Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin	Precise pointer reasoning for dynamic test generation.	ISSTA	2009	DBLP DOI BibTeX RDF	pointer reasoning, software testing, program verification, automatic test generation
1	Neha Rungta, Eric G. Mercer	Clash of the Titans: tools and techniques for hunting bugs in concurrent programs.	PADTAD	2009	DBLP DOI BibTeX RDF	testing and verification tools, evaluation, benchmarks, empirical study, concurrent programs
1	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
1	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
1	Eric Larson	A plethora of paths.	ICPC	2009	DBLP DOI BibTeX RDF
1	Christoph Gladisch	Could We Have Chosen a Better Loop Invariant or Method Contract?.	TAP	2009	DBLP DOI BibTeX RDF
1	R. Barzin, S. Fukushima, William E. Howden, S. Sharifi	Superfit Combinational Elusive Bug Detection.	COMPSAC	2008	DBLP DOI BibTeX RDF	elusive, BETUnit, SuperFIT, testing, frameworks, patterns, FIT, combinations, bugs, JUnit
1	Elmar Jürgens, Benjamin Hummel, Florian Deissenboeck, Martin Feilkas	Static Bug Detection Through Analysis of Inconsistent Clones.	Software Engineering (Workshops)	2008	DBLP BibTeX RDF
1	Tibor Bakota, Árpád Beszédes, Rudolf Ferenc, Tibor Gyimóthy	Continuous software quality supervision using SourceInventory and Columbus.	ICSE Companion	2008	DBLP DOI BibTeX RDF	continuous measurement, software quality assessment, software metrics, static verification, bug detection
1	Shan Lu, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
1	Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang	Ontology Model-Based Static Analysis on Java Programs.	COMPSAC	2008	DBLP DOI BibTeX RDF	Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
1	JaeWoong Chung, Michael Dalton, Hari Kannan, Christos Kozyrakis	Thread-safe dynamic binary translation using transactional memory.	HPCA	2008	DBLP DOI BibTeX RDF
1	Ilya Wagner, Valeria Bertacco, Todd M. Austin	Using Field-Repairable Control Logic to Correct Design Errors in Microprocessors.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	David Lo, Siau-Cheng Khoo, Chao Liu 0001	Efficient Mining of Recurrent Rules from a Sequence Database.	DASFAA	2008	DBLP DOI BibTeX RDF
1	Hyungwoo Kang	Security Assessment Framework Using Static Analysis and Fault Injection.	ICIC	2008	DBLP DOI BibTeX RDF	RPC (Remote Procedure Call), Static analysis, Fault injection, Buffer overflow, Software security, Security assessment
1	Yannis Smaragdakis	Combining Static and Dynamic Reasoning for the Discovery of Program Properties.	SPIN	2008	DBLP DOI BibTeX RDF
1	Marco Pistoia	Program Analysis and Programming Languages for Security.	VMCAI	2008	DBLP DOI BibTeX RDF
1	Eric Larson	SUDS: An Infrastructure for Creating Bug Detection Tools.	SCAM	2007	DBLP DOI BibTeX RDF
1	Martin Dimitrov, Huiyang Zhou	Unified Architectural Support for Soft-Error Protection or Software Bug Detection.	PACT	2007	DBLP DOI BibTeX RDF
1	Yannis Smaragdakis, Christoph Csallner	Combining Static and Dynamic Reasoning for Bug Detection.	TAP	2007	DBLP DOI BibTeX RDF
1	Daniel Brand, Marcio Buss, Vugranam C. Sreedhar	Evidence-Based Analysis and Inferring Preconditions for Bug Detection.	ICSM	2007	DBLP DOI BibTeX RDF
1	Qi Gao, Feng Qin, Dhabaleswar K. Panda	DMTracker: finding bugs in large-scale parallel programs by detecting anomaly in data movements.	SC	2007	DBLP DOI BibTeX RDF	parallel programs, anomaly detection, data movements, bug detection
1	Shan Lu, Joseph Tucek, Feng Qin, Yuanyuan Zhou	AVIO: Detecting Atomicity Violations via Access-Interleaving Invariants.	IEEE Micro	2007	DBLP DOI BibTeX RDF	reliability, testing, debugging, concurrent program, hardware support, concurrency bug, bug detection, program invariant, atomicity violation
1	Jun Chen, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
1	Shan Lu, Weihang Jiang, Yuanyuan Zhou	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE (Companion)	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
1	Shan Lu, Weihang Jiang, Yuanyuan Zhou	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
1	Steven Wallace, Kim M. Hazelwood	SuperPin: Parallelizing Dynamic Instrumentation for Real-Time Performance.	CGO	2007	DBLP DOI BibTeX RDF
1	Rithin Shetty, Mazen Kharbutli, Yan Solihin, Milos Prvulovic	HeapMon: A helper-thread approach to programmable, automatic, and low-overhead memory bug detection.	IBM Journal of Research and Development	2006	DBLP DOI BibTeX RDF
1	Jin-Yi Wang, Yen-Shiang Shue, T. N. Vijaykumar, Saurabh Bagchi	Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection.	ICCD	2006	DBLP BibTeX RDF
1	Sunghun Kim, Kai Pan, E. James Whitehead Jr.	Memories of bug fixes.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	bug finding tool, prediction, patterns, fault, bug, fix
1	Marco Pistoia, Francesco Logozzo	Program Analysis for Security and Privacy.	ECOOP Workshops	2006	DBLP DOI BibTeX RDF
1	Fabiano A. Fonseca, Robert Pinto, Wagner Meira Jr.	Increasing User's Privacy Control through Flexible Web Bug Detection.	LA-WEB	2005	DBLP DOI BibTeX RDF
1	William Pugh	Keynote talk: Advice to bug hunters.	AADEBUG	2005	DBLP DOI BibTeX RDF
1	Chi-Keung Luk, Robert S. Cohn, Robert Muth, Harish Patil, Artur Klauser, P. Geoffrey Lowney, Steven Wallace, Vijay Janapa Reddi, Kim M. Hazelwood	Pin: building customized program analysis tools with dynamic instrumentation.	PLDI	2005	DBLP DOI BibTeX RDF	program analysis tools, instrumentation, dynamic compilation
1	Paul Vickers, James L. Alty	Musical program auralization: Empirical studies.	TAP	2005	DBLP DOI BibTeX RDF	debugging, Music, Pascal, auralization
1	William E. Howden	Software Test Selection Patterns and Elusive Bugs.	COMPSAC	2005	DBLP DOI BibTeX RDF	elusive, models, design, Testing, patterns, defects
1	Jeff H. Perkins, Michael D. Ernst	Efficient incremental algorithms for dynamic detection of likely invariants.	SIGSOFT FSE	2004	DBLP DOI BibTeX RDF	batch algorithm, reversing optimizations, incremental algorithm, dynamic invariant detection
1	Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel P. Midkiff, Josep Torrellas	AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.	MICRO	2004	DBLP DOI BibTeX RDF
1	Narayanan Krishnamurthy, Jayanta Bhadra, Magdy S. Abadir, Jacob A. Abraham	Is State Mapping Essential for Equivalence Checking Custom Memories in Scan-Based Designs?	VTS	2002	DBLP DOI BibTeX RDF
1	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS	2000	DBLP DOI BibTeX RDF	generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
1	Dominique Bolignano, Daniel Le Métayer, Claire Loiseaux	Formal Methods in Context: Security and Java Card.	Java Card Workshop	2000	DBLP DOI BibTeX RDF