Search results for "bugs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
15	Sung-Boem Park, Subhasish Mitra	IFRA: instruction footprint recording and analysis for post-silicon bug localization in processors.	DAC	2008	DBLP DOI BibTeX RDF	verification, debug, validation, design for debug
15	Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001	A study of effectiveness of dynamic slicing in locating real faults.	Empir. Softw. Eng.	2007	DBLP DOI BibTeX RDF	Full slicing, Exploring slices, Fault location, Dynamic program slicing, Data slicing
15	Simon P. Wilson 0001, Francisco J. Samaniego	Nonparametric Analysis of the Order-Statistic Model in Software Reliability.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Beta-Stacy process, reliability, testing strategies, order statistics, nonparametric statistics, survival analysis
15	Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma	Post-release reliability growth in software products.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	Post-release reliability growth, product stabilization time
15	Byron Cook	Bringing Hardware and Software Closer Together with Termination Analysis.	MEMOCODE	2007	DBLP DOI BibTeX RDF
15	David Saff	From developer's head to developer tests: characterization, theories, and preventing one more bug.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	theories, characterization, testing tools
15	Gang Tan, Greg Morrisett	Ilea: inter-language analysis across java and c.	OOPSLA	2007	DBLP DOI BibTeX RDF	JVML, inter-language analysis, specification extraction, JNI, java native interface
15	David Gay, Robert Ennals, Eric A. Brewer	Safe manual memory management.	ISMM	2007	DBLP DOI BibTeX RDF	C, safety, memory management, reference counting
15	Shan Tang, Qiang Xu 0001	A multi-core debug platform for NoC-based systems.	DATE	2007	DBLP DOI BibTeX RDF
15	Ilya Wagner, Valeria Bertacco	Engineering trust with semantic guardians.	DATE	2007	DBLP DOI BibTeX RDF
15	Yusen Li, Feng Wang, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010	MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems.	APSEC	2007	DBLP DOI BibTeX RDF
15	Sarunas Packevicius, Andrej Usaniov, Eduardas Bareisa	Software testing using imprecise OCL constraints as oracles.	CompSysTech	2007	DBLP DOI BibTeX RDF	software testing, OCL, test oracle
15	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Analysis for Debugging and Performance Optimization of MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
15	Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001	A study of interleaving coverage criteria.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	concurrent program, interleaving, coverage criteria
15	Pallavi Joshi, Koushik Sen, Mark Shlimovich	Predictive testing: amplifying the effectiveness of software testing.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs
15	Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov	Automated testing of refactoring engines.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	imperative generators, refactoring engines, automated testing, test data generation, bounded-exhaustive testing
15	Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin	CheckFence: checking consistency of concurrent data types on relaxed memory models.	PLDI	2007	DBLP DOI BibTeX RDF	lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures
15	Hassen Saïdi	Guarded models for intrusion detection.	PLAS	2007	DBLP DOI BibTeX RDF	intrusion detection, static analysis, dynamic analysis, invariant generation
15	Fumihiko Anma, Tomonori Kato, Tatsuhiro Konishi, Yukihiro Itoh, Toshio Okamoto	An Educational System that Explains the Domain-oriented-explanation of Program's Behaviors.	ICALT	2007	DBLP DOI BibTeX RDF
15	Janaki T. Madhavan, E. James Whitehead Jr.	Predicting buggy changes inside an integrated development environment.	ETX	2007	DBLP DOI BibTeX RDF	integrated development environments, bug prediction
15	Yoonki Song, Suresh Thummalapenta, Tao Xie 0001	UnitPlus: assisting developer testing in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	developer testing, test code reuse
15	Javier Alonso 0001, Jordi Torres, Luís Moura Silva, Paulo Silva	Dependable Grid Services: A Case Study with OGSA-DAI.	CoreGRID	2007	DBLP DOI BibTeX RDF
15	Jimmy Su, Katherine A. Yelick	Automatic Communication Performance Debugging in PGAS Languages.	LCPC	2007	DBLP DOI BibTeX RDF	PGAS languages, automatic performance debugging
15	Joaquín Entrialgo, Javier García 0002, José Luis Díaz, Daniel F. García	Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2007	DBLP DOI BibTeX RDF
15	Mark Hibberd, Michael Lawley, Kerry Raymond	Forensic Debugging of Model Transformations.	MoDELS	2007	DBLP DOI BibTeX RDF
15	Miguel Pérez-Francisco, Pablo Boronat Pérez, Gregorio Robles	Correlation between bug notifications, messages and participants in Debian's bug tracking system.	ESEM	2007	DBLP DOI BibTeX RDF
15	David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu 0001	Statistical Debugging Using Latent Topic Models.	ECML	2007	DBLP DOI BibTeX RDF
15	Valentin Dallmeier, Thomas Zimmermann 0001	Extraction of bug localization benchmarks from history.	ASE	2007	DBLP DOI BibTeX RDF	defect localization, benchmarking
15	Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan	Path-Sensitive Inference of Function Precedence Protocols.	ICSE	2007	DBLP DOI BibTeX RDF
15	Jean-Michel Dalle, Matthijs den Besten	Different Bug Fixing Regimes? A Preliminary Case for Superbugs. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
15	Daniel Brand, Marcio Buss, Vugranam C. Sreedhar	Evidence-Based Analysis and Inferring Preconditions for Bug Detection.	ICSM	2007	DBLP DOI BibTeX RDF
15	Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang	Automatic Verification of External Interrupt Behaviors for Microprocessor Design.	DAC	2007	DBLP DOI BibTeX RDF
15	Ahmed E. Hassan, Richard C. Holt	Replaying development history to assess the effectiveness of change propagation tools.	Empir. Softw. Eng.	2006	DBLP DOI BibTeX RDF	Historical co-change, Static dependency, Source control systems, Mining software repositories, Change propagation
15	Eric Larson	SUDS: an infrastructure for dynamic software bug detection using static analysis.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF	software engineering, software testing, static analysis, instrumentation, software verification, testing tools
15	Diomidis Spinellis	Debuggers and logging frameworks.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	logging framework, debugging, breakpoint
15	Peter Lamborn, Michael D. Jones	January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior.	PPSN	2006	DBLP DOI BibTeX RDF
15	Joshua J. Bloch	How to design a good API and why it matters.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
15	David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen	Decision Procedures for the Formal Analysis of Software.	ICTAC	2006	DBLP DOI BibTeX RDF
15	Ilya Wagner, Valeria Bertacco, Todd M. Austin	Depth-driven verification of simultaneous interfaces.	ASP-DAC	2006	DBLP DOI BibTeX RDF
15	Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga	On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing.	AIAI	2006	DBLP DOI BibTeX RDF
15	Xiangyu Zhang 0001, Sriraman Tallam, Rajiv Gupta 0001	Dynamic slicing long running programs through execution fast forwarding.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	debugging, checkpointing, replay, event logging, data slicing
15	Koen Claessen, Jan-Willem Roorda	An Introduction to Symbolic Trajectory Evaluation.	SFM	2006	DBLP DOI BibTeX RDF
15	Ilir Gashi, Peter T. Popov	Rephrasing Rules for Off-The-Shelf SQL Database Servers.	EDCC	2006	DBLP DOI BibTeX RDF
15	Bixin Li, Yancheng Wang, Lili Yang	An Integrated Regression Testing Framework to Multi-Threaded Java Programs.	SET	2006	DBLP DOI BibTeX RDF	Regression testing, Multi-threaded program, Reachability testing
15	Itai Yarom, Viji Patil	Smart-Lint: Improving the Verification Flow.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF
15	Terence John Parr	Web application internationalization and localization in action.	ICWE	2006	DBLP DOI BibTeX RDF	template engines, localization, web applications, model-view-controller, internationalization
15	Ahmed E. Hassan, Ken Zhang	Using Decision Trees to Predict the Certification Result of a Build.	ASE	2006	DBLP DOI BibTeX RDF
15	Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler	Automatically Generating Malicious Disks using Symbolic Execution.	S&P	2006	DBLP DOI BibTeX RDF
15	Mina Askari, Richard C. Holt	Information theoretic evaluation of change prediction models for large-scale software.	MSR	2006	DBLP DOI BibTeX RDF	evaluation approach, information theory, prediction models
15	Satish Narayanasamy, Cristiano Pereira, Brad Calder	Recording shared memory dependencies using strata.	ASPLOS	2006	DBLP DOI BibTeX RDF	strata, debugging, dependencies, shared memory, logging, replay
15	Allen Van Gelder	Independently Checkable Proofs from Decision Procedures: Issues and Progress.	LPAR	2005	DBLP DOI BibTeX RDF
15	Nithya Ramanathan, Kevin K. Chang, Rahul Kapur, Lewis Girod, Eddie Kohler, Deborah Estrin	Sympathy for the sensor network debugger.	SenSys	2005	DBLP DOI BibTeX RDF	failure localization, root causes, sensor networks, debugging, failure detection
15	W. Eric Wong, J. Jenny Li	An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting.	APSEC	2005	DBLP DOI BibTeX RDF	eXVantage, JBT, program debugging, Code coverage, performance profiling, execution slicing
15	Tayfun Elmas, Serdar Tasiran, Shaz Qadeer	VYRD: verifYing concurrent programs by runtime refinement-violation detection.	PLDI	2005	DBLP DOI BibTeX RDF	refinement, runtime verification, concurrent data structures
15	Emmett Witchel, Junghwan Rhee, Krste Asanovic	Mondrix: memory isolation for linux using mondriaan memory protection.	SOSP	2005	DBLP DOI BibTeX RDF	fine-grained memory protection
15	Yuan Yu, Tom Rodeheffer, Wei Chen	RaceTrack: efficient detection of data race conditions via adaptive tracking.	SOSP	2005	DBLP DOI BibTeX RDF	virtual machine instrumentation, race detection
15	Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam	HAIL: a language for easy and correct device access.	EMSOFT	2005	DBLP DOI BibTeX RDF	invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers
15	William W. Pugh	Keynote talk: Advice to bug hunters.	AADEBUG	2005	DBLP DOI BibTeX RDF
15	Donglin Liang, Kai Xu 0002	Debugging object-oriented programs with behavior views.	AADEBUG	2005	DBLP DOI BibTeX RDF	debugging language, secenario-driven, execution monitoring
15	Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe	Benchmarking and Testing OSD for Correctness and Compliance.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
15	Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa	Oparating Systems For Building Robust Embedded SDystem.	WORDS	2005	DBLP DOI BibTeX RDF
15	David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst	Automatic test factoring for java.	ASE	2005	DBLP DOI BibTeX RDF	test factoring, unit testing, mock objects
15	Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001	Locating faulty code using failure-inducing chops.	ASE	2005	DBLP DOI BibTeX RDF	backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging
15	Jean Goubault-Larrecq, Fabrice Parrennes	Cryptographic Protocol Analysis on Real C Code.	VMCAI	2005	DBLP DOI BibTeX RDF
15	Benjamin Schwarz, Hao Chen 0003, David A. Wagner 0001, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West	Model Checking An Entire Linux Distribution for Security Violations.	ACSAC	2005	DBLP DOI BibTeX RDF
15	Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet	A generic micro-architectural test plan approach for microprocessor verification.	DAC	2005	DBLP DOI BibTeX RDF	generic test plan, test generation, coverage, micro-architecture, dynamic verification
15	Jim Shore	Fail Fast.	IEEE Softw.	2004	DBLP DOI BibTeX RDF	fail fast
15	David Saff, Michael D. Ernst	Mock object creation for test factoring.	PASTE	2004	DBLP DOI BibTeX RDF	test factoring, unit testing, mock objects
15	Emre Kycyman, Yi-Min Wang	Discovering Correctness Constraints for Self-Management of System Configuration.	ICAC	2004	DBLP DOI BibTeX RDF
15	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
15	Ghassan Chehaibar	Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design.	FORTE	2004	DBLP DOI BibTeX RDF
15	Bernard J. Pope	Declarative Debugging with Buddha.	Advanced Functional Programming	2004	DBLP DOI BibTeX RDF
15	Pin Zhou, Feng Qin, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas	iWatcher: Efficient Architectural Support for Software Debugging.	ISCA	2004	DBLP DOI BibTeX RDF
15	Jingyu Zhou, Giovanni Vigna	Detecting Attacks That Exploit Application-Logic Errors Through Application-Level Auditing.	ACSAC	2004	DBLP DOI BibTeX RDF
15	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani	Heuristics for Finding Concurrent Bug.	IPDPS	2003	DBLP DOI BibTeX RDF
15	Klaus Havelund, Scott D. Stoller, Shmuel Ur	Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools .	IPDPS	2003	DBLP DOI BibTeX RDF
15	Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan	Bug isolation via remote program sampling.	PLDI	2003	DBLP DOI BibTeX RDF	bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging
15	Reynald Affeldt, Naoki Kobayashi 0001	Formalization and Verification of a Mail Server in Coq.	ISSS	2002	DBLP DOI BibTeX RDF
15	Glenn Ammons, Rastislav Bodík, James R. Larus	Mining specifications.	POPL	2002	DBLP DOI BibTeX RDF
15	Seth Hallem, Benjamin Chelf, Yichen Xie 0001, Dawson R. Engler	A System and Language for Building System-Specific, Static Analyses.	PLDI	2002	DBLP DOI BibTeX RDF	error detection, extensible compilation
15	Don Douglas Josephson	The Manic Depression of Microprocessor Debug.	ITC	2002	DBLP DOI BibTeX RDF
15	Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro	Max-CSP Approach for Software Diagnosis.	IBERAMIA	2002	DBLP DOI BibTeX RDF
15	Pradip Bose	Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation.	DSN	2001	DBLP DOI BibTeX RDF
15	Bob Bentley	alidating the Intel® Pentium® 4 Microprocessor.	DSN	2001	DBLP DOI BibTeX RDF
15	Matthew K. Franklin, Zvi Galil, Moti Yung	Eavesdropping games: a graph-theoretic approach to privacy in distributed systems.	J. ACM	2000	DBLP DOI BibTeX RDF
15	Alexander Aiken, Manuel Fähndrich, Zhendong Su 0001	Detecting races in Relay Ladder Logic programs.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Verification, Testing, Static analysis, Constraints, Software
15	Zhenyu Qian, Allen Goldberg, Alessandro Coglio	A formal specification of JavaTM class loading.	OOPSLA	2000	DBLP DOI BibTeX RDF	Java
15	Sotiris Skevoulis, Xiaoping Jia	Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs.	TOOLS (37)	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
15	Phillip B. Gibbons, Yossi Matias, Vijaya Ramachandran	Can a Shared-Memory Model Serve as a Bridging Model for Parallel Computation?	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
15	Mingdong Feng, Charles E. Leiserson	Efficient Detection of Determinacy Races in Cilk Programs.	Theory Comput. Syst.	1999	DBLP DOI BibTeX RDF
15	Xiaoping Jia, Sotiris Skevoulis	A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs.	COMPSAC	1999	DBLP DOI BibTeX RDF
15	Alexander Aiken, Manuel Fähndrich, Zhendong Su 0001	Detecting Races in Relay Ladder Logic Programs.	TACAS	1998	DBLP DOI BibTeX RDF
15	Pascal Fradet, Ronan Caugne, Daniel Le Métayer	Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm.	ESOP	1996	DBLP DOI BibTeX RDF
15	Mark W. Bailey, Jack W. Davidson	Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators.	PLDI	1996	DBLP DOI BibTeX RDF
15	David E. Evans 0001	Static Detection of Dynamic Memory Errors.	PLDI	1996	DBLP DOI BibTeX RDF
15	François Bourdoncle	Abstract Debugging of Higher-Order Imperative Languages.	PLDI	1993	DBLP DOI BibTeX RDF	Pascal
15	Sharon E. Perl, William E. Weihl	Performance Assertion Checking.	SOSP	1993	DBLP DOI BibTeX RDF	DEBUG, Parallel C
15	Moon-Chuen Lee	An Augmented Prolog Programming Environment for Tutoring Applications.	IEA/AIE (Vol. 2)	1990	DBLP DOI BibTeX RDF	Prolog
15	Jim Gray 0001	A View of Database System Performance Measures.	SIGMETRICS	1987	DBLP DOI BibTeX RDF
15	Hidehisa Takahashi, Etsuya Shibayama	PRESET - A Debugging Environment for Prolog.	LP	1985	DBLP DOI BibTeX RDF