Search results for "bugs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Erik Jan Marinissen	Bugs, moths, grasshoppers, and whales.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
21	Hossain Shahriar, Mohammad Zulkernine	Mutation-Based Testing of Format String Bugs.	HASE	2008	DBLP DOI BibTeX RDF
21	Sung-Young Jung, Kurt VanLehn	Bi-directional Search for Bugs: A Tool for Accelerating Knowledge Acquisition for Equation-Based Tutoring Systems.	Intelligent Tutoring Systems	2008	DBLP DOI BibTeX RDF	Bi-directional search, automatic error detection on knowledge, authoring tools
21	Julian Dolby, Mandana Vaziri, Frank Tip	Finding bugs efficiently with a SAT solver.	ESEC/SIGSOFT FSE	2007	DBLP DOI BibTeX RDF	model checking, specification, slicing, SAT solving
21	Adrian Schröter, Thomas Zimmermann 0001, Rahul Premraj, Andreas Zeller	Where do bugs come from?	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
21	Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens	Improving your software using static analysis to find bugs.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	Java, static analysis, FindBugs
21	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur	Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs.	ISoLA	2006	DBLP DOI BibTeX RDF
21	Marco D'Ambros, Michele Lanza	Software Bugs and Evolution: A Visual Approach to Uncover Their Relationship.	CSMR	2006	DBLP DOI BibTeX RDF
21	M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas	A classification of concurrency bugs in java benchmarks by developer intent.	PADTAD	2006	DBLP DOI BibTeX RDF	concurrency errors, verification, refinement, atomicity, race condition
21	Christopher Gottbrath	S09 - Eliminating parallel application memory bugs with TotalView.	SC	2006	DBLP DOI BibTeX RDF
21	Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken	Statistical debugging: simultaneous identification of multiple bugs.	ICML	2006	DBLP DOI BibTeX RDF
21	William E. Howden	Software Test Selection Patterns and Elusive Bugs.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF	elusive, models, design, Testing, patterns, defects
21	Adil Alsaid, David M. Martin Jr.	Detecting Web Bugs with Bugnosis: Privacy Advocacy through Education.	Privacy Enhancing Technologies	2002	DBLP DOI BibTeX RDF
21	Dawson R. Engler, David Yu Chen, Andy Chou	Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code.	SOSP	2001	DBLP DOI BibTeX RDF
21	Cristinel Mateis, Markus Stumptner, Franz Wotawa	Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project.	IEA/AIE	2000	DBLP DOI BibTeX RDF
18	Linda Dailey Paulson	Libraries Face the Challenge of Archiving Digital Material.	Computer	2010	DBLP DOI BibTeX RDF	born digital content, Dimmunix, piezoelectric, lead zirconate titanate, Alzheimer's Association, GPS, deadlocks, libraries, digital forensics, archive, Alzheimer's disease, software bugs
18	Umer Farooq, León Welicki, Dieter Zirkler	API usability peer reviews: a method for evaluating the usability of application programming interfaces.	CHI	2010	DBLP DOI BibTeX RDF	api usability, usability breakdowns, usability evaluation method (uem), usability inspection, software bugs
18	Nathaniel Ayewah, William W. Pugh	The Google FindBugs fixit.	ISSTA	2010	DBLP DOI BibTeX RDF	java, static analysis, software quality, bugs, false positives, software defects, findbugs, bug patterns
18	Amruth N. Kumar	Data space animation for learning the semantics of C++ pointers.	SIGCSE	2009	DBLP DOI BibTeX RDF	c++ pointer, data space, visualization, evaluation, animation, effectiveness, explanation, bugs, web-based tutor
18	Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Jiawei Han 0001, Hossein Ahmadi 0001	Finding Symbolic Bug Patterns in Sensor Networks.	DCOSS	2009	DBLP DOI BibTeX RDF	symbolic pattern, interactive bugs, wireless sensor network
18	Craig Henderson	Managing software defects: defect analysis and traceability.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	radial charts, software builds, metrics, software quality, bugs, defect analysis, defect management
18	Stefan Wagner 0001	Defect classification and defect types revisited.	DEFECTS	2008	DBLP DOI BibTeX RDF	defect taxonomy, defect types, faults, defects, bugs, defect classification
18	Nathaniel Ayewah, William W. Pugh	A report on a survey and study of static analysis users.	DEFECTS	2008	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
18	Sridhar Joshi, Ravi Perumal, Kamesh V. Gadepally, Mark Young	An Approach for a Comprehensive QA Methodology for the PDKs.	ISQED	2008	DBLP DOI BibTeX RDF	PDK, Test structures, Quality, Regression, categorization, Matrix, Bugs
18	Jan Ploski, Matthias Rohr, Peter Schwenkenberg, Wilhelm Hasselbring	Research issues in software fault categorization.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	injection of software faults, software fault categorization, software reliability, bugs, software faults
18	Jeffrey S. Foster, Michael W. Hicks, William W. Pugh	Improving software quality with static analysis.	PASTE	2007	DBLP DOI BibTeX RDF	FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns
18	Daniel J. Bernstein	Some thoughts on security after ten years of qmail 1.0.	CSAW	2007	DBLP DOI BibTeX RDF	eliminating bugs, eliminating code, eliminating trusted code
18	Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou	Using FindBugs on production software.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, Google, bugs, false positives, software defects, FindBugs, bug patterns
18	David Hovemeyer, William W. Pugh	Status report on JSR-305: annotations for software defect detection.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, specifications, static analysis, software quality, bugs
18	Göran Krampe	Advanced issue tracker in smalltalk.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	ODBMS, continations, issue tracker, workflow, Smalltalk, Ajax, bugs, forms
18	Peter Weißgerber, Stephan Diehl 0001, Carsten Görg	Mining refactorings in ARGOUML.	MSR	2006	DBLP DOI BibTeX RDF	mails, evolution, refactoring, bugs, re-engineering
18	Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly	Establishing the Relevancy of the Bookkeeping Libraries to the Functional Testing of Computer Implementations.	IEEE Trans. Knowl. Data Eng.	1997	DBLP DOI BibTeX RDF	error data, error prediction models, software reliability, errors, faults, Functional testing, bugs, data accuracy
18	Matthew K. Franklin, Zvi Galil, Moti Yung	Eavesdropping Games: A Graph-Theoretic Approach to Privacy in Distributed Systems	FOCS	1993	DBLP DOI BibTeX RDF	eavesdropping games, mobile eavesdroppers, secure message transmission, distributed database maintenance, privacy maintenance problems, privacy, distributed systems, computational complexity, protocols, bugs, graph-theoretic approach
15	Shin Nakajima 0001	Semi-automated diagnosis of FODA feature diagram.	SAC	2010	DBLP DOI BibTeX RDF	FODA feature diagram, graph slicing, satisfiability checking
15	Silvia Breu, Rahul Premraj, Jonathan Sillito, Thomas Zimmermann 0001	Information needs in bug reports: improving cooperation between developers and users.	CSCW	2010	DBLP DOI BibTeX RDF	question time, response rate, response time, information needs, questions, bug reports
15	Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali	Compositional may-must program analysis: unleashing the power of alternation.	POPL	2010	DBLP DOI BibTeX RDF	software model checking, abstraction refinement, directed testing
15	Valentina Grigoreanu, Margaret M. Burnett, George G. Robertson	A strategy-centric approach to the design of end-user debugging tools.	CHI	2010	DBLP DOI BibTeX RDF	debugging strategies, tool design, end-user software engineering, debugging tools
15	Zvonimir Rakamaric	STORM: static unit checking of concurrent programs.	ICSE (2)	2010	DBLP DOI BibTeX RDF	unit checking, static analysis, concurrent programs
15	Cristian Zamfir, George Candea	Execution synthesis: a technique for automated software debugging.	EuroSys	2010	DBLP DOI BibTeX RDF	symbolic execution, automated debugging
15	Brandon Lucia, Luis Ceze, Karin Strauss	ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations.	ISCA	2010	DBLP DOI BibTeX RDF	bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations
15	Ding Yuan 0004, Haohui Mai, Weiwei Xiong, Lin Tan 0001, Yuanyuan Zhou 0001, Shankar Pasupathy	SherLog: error diagnosis by connecting clues from run-time logs.	ASPLOS	2010	DBLP DOI BibTeX RDF	failure diagnostics, static analysis, log
15	Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici	Post-silicon validation opportunities, challenges and recent advances.	DAC	2010	DBLP DOI BibTeX RDF	post-silicon validation
15	Achita Muthitacharoen, Khawaja Asjad Saeed	Examining user involvement in continuous software development: (a case of error reporting system).	Commun. ACM	2009	DBLP DOI BibTeX RDF
15	Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen	CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.	CAV	2009	DBLP DOI BibTeX RDF
15	Myoungkyu Song, Eli Tilevich	The anti-goldilocks debugger: helping the average bear debug transparently transformed programs.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bytecode enhancement, debugging, program transformation
15	Loris Gaio, Matthijs den Besten, Alessandro Rossi 0001, Jean-Michel Dalle	Wikibugs: using template messages in open content collections.	Int. Sym. Wikis	2009	DBLP DOI BibTeX RDF	bug fixing, commons based peer production, template messages, coordination, Wiki, quality, Wikipedia, survival analysis
15	Valentina Grigoreanu, James N. Brundage, Eric Bahna, Margaret M. Burnett, Paul ElRif, Jeffrey Snover	Males' and Females' Script Debugging Strategies.	IS-EUD	2009	DBLP DOI BibTeX RDF	Debugging Strategies, Debugging, Gender, Scripting
15	Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001	Self-recovery in server programs.	ISMM	2009	DBLP DOI BibTeX RDF	memory propagation, self cleansing, self recovery
15	Adrian Nistor, Darko Marinov, Josep Torrellas	Light64: lightweight hardware support for data race detection during systematic testing of parallel programs.	MICRO	2009	DBLP DOI BibTeX RDF	execution history hash, data race, systematic testing
15	Andrew DeOrio, Ilya Wagner, Valeria Bertacco	Dacota: Post-silicon validation of the memory subsystem in multi-core designs.	HPCA	2009	DBLP DOI BibTeX RDF
15	Patrice Godefroid	Software Model Checking Improving Security of a Billion Computers.	SPIN	2009	DBLP DOI BibTeX RDF
15	David Lo 0001, Hong Cheng 0001, Jiawei Han 0001, Siau-Cheng Khoo, Chengnian Sun	Classification of software behaviors for failure detection: a discriminative pattern mining approach.	KDD	2009	DBLP DOI BibTeX RDF	closed unique patterns, iterative patterns, pattern-based classification, sequential database, failure detection, software behaviors
15	Lin Chen 0015, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou	A Constraint Based Bug Checking Approach for Python.	COMPSAC (2)	2009	DBLP DOI BibTeX RDF
15	Christian Bird, Adrian Bachmann, Eirik Aune, John Duffy, Abraham Bernstein, Vladimir Filkov, Premkumar T. Devanbu	Fair and balanced?: bias in bug-fix datasets.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	bias
15	Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani	Darwin: an approach for debugging evolving programs.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	debugging, software evolution, symbolic execution
15	Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau	Error propagation analysis for file systems.	PLDI	2009	DBLP DOI BibTeX RDF	copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis
15	Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan	Semantics-aware trace analysis.	PLDI	2009	DBLP DOI BibTeX RDF	semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids
15	Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues	A genetic programming approach to automated software repair.	GECCO	2009	DBLP DOI BibTeX RDF	software repair, software engineering, genetic programming
15	Sergio Gandini, Danilo Ravotto, Walter Ruzzarin, Ernesto Sánchez 0001, Giovanni Squillero, Alberto Paolo Tonda	Automatic detection of software defects: an industrial experience.	GECCO	2009	DBLP DOI BibTeX RDF	evolutionary algorithms, software testing, mobile phones, power consumption
15	Michele Sama, Julian Harty	Using code instrumentation to enhance testing on J2ME: a lesson learned with JInjector.	HotMobile	2009	DBLP DOI BibTeX RDF	Java 2 micro edition, testing, instrumentation, code coverage
15	Hong Cheng 0001, David Lo 0001, Yang Zhou 0001, Xiaoyin Wang, Xifeng Yan	Identifying bug signatures using discriminative graph mining.	ISSTA	2009	DBLP DOI BibTeX RDF	bug signature, discriminative subgraph mining
15	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
15	Jacob Burnim, Sudeep Juvekar, Koushik Sen	WISE: Automated test generation for worst-case complexity.	ICSE	2009	DBLP DOI BibTeX RDF
15	Héla Masmoudi, Matthijs den Besten, Claude de Loupy, Jean-Michel Dalle	"Peeling the Onion". (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
15	Rotem Oshman	An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
15	Minoru Kuribayashi	A study of traceability of CDMA-based fingerprinting scheme.	ICIS	2009	DBLP DOI BibTeX RDF	iterative detection, fingerprinting, collusion attack
15	Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp	Automatic Bug Detection in Microcontroller Software by Static Program Analysis.	SOFSEM	2009	DBLP DOI BibTeX RDF
15	Nathaniel Ayewah, William W. Pugh	Learning from defect removals.	MSR	2009	DBLP DOI BibTeX RDF
15	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	Safe Runtime Verification of Real-Time Properties.	FORMATS	2009	DBLP DOI BibTeX RDF
15	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
15	Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis	ASSURE: automatic software self-healing using rescue points.	ASPLOS	2009	DBLP DOI BibTeX RDF	binary patching, chekpoint restart, reliable software, software self-healing, error recovery
15	Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su	NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core.	DAC	2009	DBLP DOI BibTeX RDF	architecture, debugging, many-core, race detection
15	William N. Sumner, Xiangyu Zhang 0001	Algorithms for Automatically Computing the Causal Paths of Failures.	FASE	2009	DBLP DOI BibTeX RDF	debugging, automated debugging, execution indexing
15	Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang	Automatic Verification of External Interrupt Behaviors for Microprocessor Design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
15	Sunghun Kim 0001, E. James Whitehead Jr., Yi Zhang 0001	Classifying Software Changes: Clean or Buggy?	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	Data mining, Clustering, Software maintenance, Configuration Management, classification and association rules, Metrics/Measurement
15	Tahina Ramananandro	Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method.	Formal Aspects Comput.	2008	DBLP DOI BibTeX RDF	Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties
15	Haihao Shen, Sai Zhang 0001, Jianjun Zhao 0001, Jianhong Fang, Shiyuan Yao	XFindBugs: eXtended FindBugs for AspectJ.	PASTE	2008	DBLP DOI BibTeX RDF
15	Sebastian Burckhardt, Madanlal Musuvathi	Effective Program Verification for Relaxed Memory Models.	CAV	2008	DBLP DOI BibTeX RDF
15	Ayla Dantas	Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	multi-threaded systems testing, aspect-oriented programming, software monitoring
15	Ho Fai Ko, Nicola Nicolici	Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation.	DATE	2008	DBLP DOI BibTeX RDF
15	Kaiyu Chen, Sharad Malik, Priyadarsan Patra	Runtime validation of memory ordering using constraint graph checking.	HPCA	2008	DBLP DOI BibTeX RDF
15	Shaz Qadeer	The Case for Context-Bounded Verification of Concurrent Programs.	SPIN	2008	DBLP DOI BibTeX RDF
15	Stacy K. Lukins, Nicholas A. Kraft, Letha H. Etzkorn	Source Code Retrieval for Bug Localization Using Latent Dirichlet Allocation.	WCRE	2008	DBLP DOI BibTeX RDF
15	Boya Sun, Ray-Yaung Chang, Xianghao Chen, Andy Podgurski	Automated Support for Propagating Bug Fixes.	ISSRE	2008	DBLP DOI BibTeX RDF
15	Niclas Finne, Joakim Eriksson, Adam Dunkels, Thiemo Voigt	Experiences from Two Sensor Network Deployments - Self-monitoring and Self-configuration Keys to Success.	WWIC	2008	DBLP DOI BibTeX RDF
15	Laurie Murphy, Gary Lewandowski, Renée McCauley, Beth Simon, Lynda Thomas, Carol Zander	Debugging: the good, the bad, and the quirky -- a qualitative analysis of novices' strategies.	SIGCSE	2008	DBLP DOI BibTeX RDF	debugging, pedagogy, strategies, novice programming
15	Lingxiao Jiang, Zhendong Su 0001	Profile-guided program simplification for effective testing and analysis.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	testing and analysis, profiling, statistical debugging, program simplification
15	Hyungwoo Kang	Security Assessment Framework Using Static Analysis and Fault Injection.	ICIC (1)	2008	DBLP DOI BibTeX RDF	RPC (Remote Procedure Call), Static analysis, Fault injection, Buffer overflow, Software security, Security assessment
15	Koushik Sen	Race directed random testing of concurrent programs.	PLDI	2008	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, random testing, race detection
15	Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Kamal Kant Gupta	Towards Diagnostic Simulation in Sensor Networks.	DCOSS	2008	DBLP DOI BibTeX RDF	diagnostic simulation, Sensor network, frequent pattern mining
15	Madan Musuvathi	Systematic concurrency testing using CHESS.	PADTAD	2008	DBLP DOI BibTeX RDF	testing, concurrency, race conditions
15	Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su 0001	Dynamic test input generation for web applications.	ISSTA	2008	DBLP DOI BibTeX RDF	directed random testing, web applications, automatic test generation, concolic testing
15	Gogul Balakrishnan, Thomas W. Reps	Analyzing Stripped Device-Driver Executables.	TACAS	2008	DBLP DOI BibTeX RDF
15	Ilya Wagner, Valeria Bertacco	Reversi: Post-silicon validation system for modern microprocessors.	ICCD	2008	DBLP DOI BibTeX RDF
15	Jianguo Chen, Hangxia Zhou, Stefan D. Bruda	Combining Model Checking and Testing for Software Analysis.	CSSE (2)	2008	DBLP DOI BibTeX RDF
15	Sascha Just, Rahul Premraj, Thomas Zimmermann 0001	Towards the next generation of bug tracking systems.	VL/HCC	2008	DBLP DOI BibTeX RDF
15	Domagoj Babic, Alan J. Hu	Calysto: scalable and precise extended static checking.	ICSE	2008	DBLP DOI BibTeX RDF	formal verification, static analysis, static checking
15	Sangeetha Sudhakrishnan, Janaki T. Madhavan, E. James Whitehead Jr., Jose Renau	Understanding bug fix patterns in verilog.	MSR	2008	DBLP DOI BibTeX RDF	error classification, VHDL, verilog
15	David Lo 0001	Mining specifications in diversified formats from execution traces.	ICSM	2008	DBLP DOI BibTeX RDF
15	Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen, Michael Kozuch, Michael P. Ryan	Parallelizing dynamic information flow tracking.	SPAA	2008	DBLP DOI BibTeX RDF	dynamic information flow tracking (dift), log-based monitoring, parallel algorithm, taint analysis, program monitoring