Search results for "bug"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Ha Manh Tran, Son Thanh Le, Synh Viet Uyen Ha, Tu Kha Huynh	Software Bug Ontology Supporting Bug Search on Peer-to-Peer Networks.	KES-AMSTA	2013	DBLP DOI BibTeX RDF
24	Senthil Mani, Seema Nagar, Debdoot Mukherjee, Ramasuri Narayanam, Vibha Singhal Sinha, Amit Anil Nanavati	Bug resolution catalysts: identifying essential non-committers from bug repositories.	MSR	2013	DBLP DOI BibTeX RDF
24	Jaweria Kanwal, Onaiza Maqbool	Bug Prioritization to Facilitate Bug Report Triage.	J. Comput. Sci. Technol.	2012	DBLP DOI BibTeX RDF
24	Hadi Hosseini, Raymond Nguyen, Michael W. Godfrey	A Market-Based Bug Allocation Mechanism Using Predictive Bug Lifetimes.	CSMR	2012	DBLP DOI BibTeX RDF
24	Daniel Izquierdo-Cortazar	Global and Geographically Distributed Work Teams: Understanding the Bug Fixing Process and Potentially Bug-prone Activity Patterns.	CSMR	2012	DBLP DOI BibTeX RDF
24	Steven Davies, Marc Roper, Murray Wood	Using Bug Report Similarity to Enhance Bug Localisation.	WCRE	2012	DBLP DOI BibTeX RDF
24	Jian Zhou, Hongyu Zhang 0002, David Lo 0001	Where should the bugs be fixed? More accurate information retrieval-based bug localization based on bug reports.	ICSE	2012	DBLP DOI BibTeX RDF
24	Rafael Lotufo, Zeeshan Malik, Krzysztof Czarnecki 0001	Modelling the 'Hurried' bug report reading process to summarize bug reports.	ICSM	2012	DBLP DOI BibTeX RDF
24	Masao Ohira, Ahmed E. Hassan, Naoya Osawa, Ken-ichi Matsumoto	The impact of bug management patterns on bug fixing: A case study of Eclipse projects.	ICSM	2012	DBLP DOI BibTeX RDF
24	Daniel Izquierdo-Cortazar, Andrea Capiluppi, Jesús M. González-Barahona	Are Developers Fixing Their Own Bugs?: Tracing Bug-Fixing and Bug-Seeding Committers.	Int. J. Open Source Softw. Process.	2011	DBLP DOI BibTeX RDF
24	Philip J. Guo, Thomas Zimmermann 0001, Nachiappan Nagappan, Brendan Murphy	"Not my bug!" and other reasons for software bug report reassignments.	CSCW	2011	DBLP DOI BibTeX RDF
24	Tao Zhang 0001, Byungjeong Lee	A Bug Rule Based Technique with Feedback for Classifying Bug Reports.	CIT	2011	DBLP DOI BibTeX RDF
24	Brent D. Nichols	Augmented bug localization using past bug information.	ACM Southeast Regional Conference	2010	DBLP DOI BibTeX RDF
24	Rudolf Ferenc	Bug Forecast: A Method for Automatic Bug Prediction.	FGIT-ASEA	2010	DBLP DOI BibTeX RDF
24	Amir H. Moin, Mohammad Khansari 0002	Bug Localization Using Revision Log Analysis and Open Bug Repository Text Categorization. (PDF / PS)	OSS	2010	DBLP DOI BibTeX RDF
24	Ricardo Artigas Langer, Leandro dos Santos Coelho, Gustavo Henrique Costa Oliveira	K-Bug, A New Bug Approach for Mobile Robot's Path Planning.	CCA	2007	DBLP DOI BibTeX RDF
24	Marco D'Ambros, Michele Lanza, Martin Pinzger 0001	"A Bug's Life" Visualizing a Bug Database.	VISSOFT	2007	DBLP DOI BibTeX RDF
24	Chadd C. Williams, Jeffrey K. Hollingsworth	Bug Driven Bug Finders.	MSR	2004	DBLP BibTeX RDF
24	Henk van den Heuvel, Khalid Choukri, Harald Höge	Give me a bug. a framework for a bug report service.	LREC	2002	DBLP BibTeX RDF
24	Chauncey E. Wilson, Kara Pernice Coyne	The whiteboard: Tracking usability issues: to bug or not to bug?	Interactions	2001	DBLP DOI BibTeX RDF
24	Soyeon Park, Shan Lu 0001, Yuanyuan Zhou 0001	CTrigger: exposing atomicity violation bugs from their hiding places.	ASPLOS	2009	DBLP DOI BibTeX RDF	software testing, concurrency bug
24	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
24	Andrea Arcuri	On the automation of fixing software bugs.	ICSE Companion	2008	DBLP DOI BibTeX RDF	automatic bug fixing, genetic programming, co-evolution, automated debugging, repair
24	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
24	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
24	Lingxiao Jiang, Zhendong Su 0001, 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
24	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
24	Qi Gao 0004, Feng Qin, Dhabaleswar K. Panda 0001	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
24	Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal	Dynamic analysis of java applications for multithreaded antipatterns.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Java, multithreading, instrumentation, bytecode, bug patterns, antipatterns
24	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
24	Zsolt Öry	A theory driven approach to century change.	CSMR	1997	DBLP DOI BibTeX RDF	theory-driven approach, century change, software maintenance demand, program bugs, system migration costs, software maintenance capabilities, bug load, mechanical approaches, data integrity, error rates, cost-effectiveness, criteria, Year 2000 problem
24	F. C. Smith	Ethical Responsibilities and Legal Liabilities of Network Security Professionals.	ACSAC	1997	DBLP DOI BibTeX RDF	ethical responsibilities, legal liabilities, network security professionals, tort litigation, unregulated economic environment, public law enforcement, criminal abuses, technical solutions, civil wrongs, individual liberty, group liberty, criminal law, civil law, computer literate lawyers, computer security failures, millennium bug, legal liability, social redress, computer networks, computer networking, morality, network vulnerabilities, Year 2000 problem
21	Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, 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
21	Piramanayagam Arumuga Nainar, Ben Liblit	Adaptive bug isolation.	ICSE (1)	2010	DBLP DOI BibTeX RDF	binary instrumentation, control-dependence graphs, dynamic feedback, dyninst, heuristic search, statistical debugging
21	Dasarath Weeratunge, Xiangyu Zhang 0001, Suresh Jagannathan	Analyzing multicore dumps to facilitate concurrency bug reproduction.	ASPLOS	2010	DBLP DOI BibTeX RDF	reproduction, multi-core, concurrency bugs, execution indexing
21	Javier Antich, Alberto Ortiz 0001, Javier Minguez	A Bug-inspired algorithm for efficient anytime path planning.	IROS	2009	DBLP DOI BibTeX RDF
21	Ben Liblit	Reflections on the Role of Static Analysis in Cooperative Bug Isolation.	SAS	2008	DBLP DOI BibTeX RDF
21	Saeed Parsa, Somaye Arabi Naree, Mojtaba Vahidi-Asl	A Learning Approach to Early Bug Prediction in Deployed Software.	AIMSA	2008	DBLP DOI BibTeX RDF
21	Yannis Smaragdakis, Christoph Csallner	Combining Static and Dynamic Reasoning for Bug Detection.	TAP	2007	DBLP DOI BibTeX RDF
21	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Bug Hunting with False Negatives.	IFM	2007	DBLP DOI BibTeX RDF
21	Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde	Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable.	ICSE	2007	DBLP DOI BibTeX RDF	Software Testing Education, Web-based Tutorial
21	Hemant Joshi, Chuanlei Zhang, Srini Ramaswamy, Coskun Bayrak	Local and Global Recency Weighting Approach to Bug Prediction.	MSR	2007	DBLP DOI BibTeX RDF
21	John Anvik, Gail C. Murphy	Determining Implementation Expertise from Bug Reports.	MSR	2007	DBLP DOI BibTeX RDF
21	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
21	Diomidis Spinellis	Bug Busters.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Lint, annotations, tools, errors, type checking, bugs
21	Chadd C. Williams, Jeffrey K. Hollingsworth	Automatic Mining of Source Code Repositories to Improve Bug Finding Techniques.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	version control, Testing tools, debugging aids, configuration control
21	Yichen Xie 0001, Alexander Aiken	Saturn: A SAT-Based Tool for Bug Detection.	CAV	2005	DBLP DOI BibTeX RDF
21	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
21	Michael Fischer 0001, Martin Pinzger 0001, Harald C. Gall	Analyzing and Relating Bug Report Data for Feature Tracking.	WCRE	2003	DBLP DOI BibTeX RDF
21	Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani	Heuristics for Finding Concurrent Bug.	IPDPS	2003	DBLP DOI BibTeX RDF
21	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
21	Luciano Baresi, Giovanni Denaro, Luca Mainetti, Paolo Paolini	Assertions to better specify the amazon bug.	SEKE	2002	DBLP DOI BibTeX RDF	web operation, assertions, web application design
21	Leah Goldin, Lilach Rochell	Software Development Bug Tracking: "Tool Isn't User Friendly" or "User Isn't Process Friendly".	ECSQ	2002	DBLP DOI BibTeX RDF
21	Yossi Malka, Avi Ziv	Design Reliability - Estimation through Statistical Analysis of Bug Discovery Data.	DAC	1998	DBLP DOI BibTeX RDF	21264, coverage anaysis, verification, architecture, validation, microprocessor, PowerPC, pseudo-random, Alpha
17	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
17	Cormac Flanagan, Stephen N. Freund	Adversarial memory for detecting destructive races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, dynamic analysis, race conditions, relaxed memory models
17	Wei Zhang 0022, Chong Sun, Shan Lu 0001	ConMem: detecting severe concurrency bugs through an effect-oriented approach.	ASPLOS	2010	DBLP DOI BibTeX RDF	software testing, concurrency bugs
17	Liguo Yu, Srini Ramaswamy, R. B. Lenin, V. Lakshmi Narasimhan	Time series analysis of open-source software projects.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	prediction, correlation, regression, mailing lists
17	Patrick Knab, Harald C. Gall, Martin Pinzger 0001	Smart views for analyzing problem reports: tool demo.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	visualization, effort estimation, process metrics
17	Satish Chandra 0001, Stephen J. Fink, Manu Sridharan	Snugglebug: a powerful approach to weakest preconditions.	PLDI	2009	DBLP DOI BibTeX RDF	interprocedural analysis, weakest preconditions, symbolic analysis
17	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
17	Christoph Gladisch	Could We Have Chosen a Better Loop Invariant or Method Contract?.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
17	Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer	Deconstructing concurrency heisenbugs.	ICSE Companion	2009	DBLP DOI BibTeX RDF
17	Bruno Rossi 0001, Barbara Russo, Giancarlo Succi	Analysis of Open Source Software Development Iterations by Means of Burst Detection Techniques. (PDF / PS)	OSS	2009	DBLP DOI BibTeX RDF
17	Rotem Oshman	An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
17	Prasanth Anbalagan, Mladen A. Vouk	On mining data across software repositories.	MSR	2009	DBLP DOI BibTeX RDF
17	Patrick Knab, Beat Fluri, Harald C. Gall, Martin Pinzger 0001	Interactive views for analyzing problem reports.	ICSM	2009	DBLP DOI BibTeX RDF
17	Shahar Sarid, Amir Shapiro	Classifying the multi robot path finding problem into a quadratic competitive complexity class.	Ann. Math. Artif. Intell.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 68Q25, 68T40, 11Y16, 93C85, 68Q17, 68Q15, 68W40, 68W15
17	Chao Liu 0001, Xiangyu Zhang 0001, Jiawei Han 0001	A Systematic Study of Failure Proximity.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
17	Yomi Kastro, Ayse Basar Bener	A defect prediction method for software versioning.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Neural networks, Defect prediction, Software defects
17	Erik Jan Marinissen	Bugs, moths, grasshoppers, and whales.	IEEE Des. Test Comput.	2008	DBLP DOI BibTeX RDF
17	Andreas Zeller	Learning from software.	ISEC	2008	DBLP DOI BibTeX RDF	mining software archives
17	Shen Zhang, Yongji Wang 0002, Junchao Xiao	Mining Individual Performance Indicators in Collaborative Development Using Software Repositories.	APSEC	2008	DBLP DOI BibTeX RDF
17	Yannis Smaragdakis	Combining Static and Dynamic Reasoning for the Discovery of Program Properties.	SPIN	2008	DBLP DOI BibTeX RDF
17	Naoya Maruyama, Satoshi Matsuoka	Model-based fault localization in large-scale computing systems.	IPDPS	2008	DBLP DOI BibTeX RDF
17	Daniel von Dincklage, Amer Diwan	Explaining failures of program analyses.	PLDI	2008	DBLP DOI BibTeX RDF	analyses, reasons
17	Yasuhiro Hayase, Yii Yong Lee, Katsuro Inoue	A criterion for filtering code clone related bugs.	DEFECTS	2008	DBLP DOI BibTeX RDF	defect mining, code clone
17	Goh Kondoh, Tamiya Onodera	Finding bugs in java native interface programs.	ISSTA	2008	DBLP DOI BibTeX RDF	typestate analysis, static analysis, java native interface
17	Jean-Michel Dalle, Matthijs den Besten, Héla Masmoudi	Channeling Firefox Developers: Mom and Dad Aren't Happy Yet. (PDF / PS)	OSS	2008	DBLP DOI BibTeX RDF
17	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers.	IEEE Trans. Dependable Secur. Comput.	2007	DBLP DOI BibTeX RDF	Error processing, fault records, non-crash failures, database availability, Fault tolerance, Reliability, Relational databases, experimental results, design diversity, availability and serviceability, COTS software
17	Arie Matsliah, Ofer Strichman	Underapproximation for Model-Checking Based on Random Cryptographic Constructions.	CAV	2007	DBLP DOI BibTeX RDF
17	Lerina Aversano, Luigi Cerulo, Massimiliano Di Penta	How Clones are Maintained: An Empirical Study.	CSMR	2007	DBLP DOI BibTeX RDF
17	W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai	Effective Fault Localization using Code Coverage.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
17	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
17	Robert Tairas, Jeff Gray 0001, Ira D. Baxter	Visualizing clone detection results.	ASE	2007	DBLP DOI BibTeX RDF	visualization, clone detection
17	Yuji Chiba	Heap protection for Java virtual machines.	PPPJ	2006	DBLP DOI BibTeX RDF
17	C. Seger	Integrating design and verification - from simple idea to practical system.	MEMOCODE	2006	DBLP DOI BibTeX RDF
17	Arie Gurfinkel, Ou Wei, Marsha Chechik	Yasm: A Software Model-Checker for Verification and Refutation.	CAV	2006	DBLP DOI BibTeX RDF
17	Anupriya Ankolekar, Katia P. Sycara, James D. Herbsleb, Robert E. Kraut, Christopher A. Welty	Supporting online problem-solving communities with the semantic web.	WWW	2006	DBLP DOI BibTeX RDF	open source software communities, human-computer interaction, computer-supported cooperative work, semantic web applications
17	Jaime Spacco, David Hovemeyer, William W. Pugh, Fawzi Emad, Jeffrey K. Hollingsworth, Nelson Padua-Perez	Experiences with marmoset: designing and using an advanced submission and testing system for programming courses.	ITiCSE	2006	DBLP DOI BibTeX RDF	code snapshots, project submission, testing
17	Gunnar Kudrjavets, Nachiappan Nagappan, Thomas Ball	Assessing the Relationship between Software Assertions and Faults: An Empirical Investigation.	ISSRE	2006	DBLP DOI BibTeX RDF
17	Long Fei, Samuel P. Midkiff	Artemis: practical runtime monitoring of applications for execution anomalies.	PLDI	2006	DBLP DOI BibTeX RDF	context invariant, dynamic context, pointer-type table, selective monitoring, value invariant, debugging, runtime monitoring
17	Panagiotis Manolios	Refinement and Theorem Proving.	SFM	2006	DBLP DOI BibTeX RDF
17	Josep Silva, Olaf Chitil	Combining algorithmic debugging and program slicing.	PPDP	2006	DBLP DOI BibTeX RDF	algorithmic debugging, program slicing
17	Domenico Cotroneo, Salvatore Orlando 0002, Stefano Russo 0001	Failure classification and analysis of the Java Virtual Machine.	ICDCS	2006	DBLP DOI BibTeX RDF	Dependability, Java Virtual Machine, Failure Analysis, Failure Diagnosis
17	Jinlin Yang, David Evans 0001, Deepali Bhardwaj, Thirumalesh Bhat, Manuvir Das	Perracotta: mining temporal API rules from imperfect traces.	ICSE	2006	DBLP DOI BibTeX RDF	dynamic analysis, temporal properties, specification inference
17	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
17	Nancy Van Schooenderwoert	Embedded Agile Project by the Numbers With Newbies.	AGILE	2006	DBLP DOI BibTeX RDF
17	Yuanyuan Zhou 0001, Pin Zhou, Feng Qin, Wei Liu 0014, Josep Torrellas	Efficient and flexible architectural support for dynamic monitoring.	ACM Trans. Archit. Code Optim.	2005	DBLP DOI BibTeX RDF	dynamic monitoring, thread-level speculation (TLS), software debugging, Architectural support
17	Gerardo Canfora, Luigi Cerulo	Impact Analysis by Mining Software and Change Request Repositories.	IEEE METRICS	2005	DBLP DOI BibTeX RDF