Search results for "BUGS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
119	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
101	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
86	Shan Lu 0001, Soyeon Park, Chongfeng Hu, Xiao Ma 0014, Weihang Jiang, Zhenmin Li, Raluca A. Popa, Yuanyuan Zhou 0001	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
71	Qi Gao 0004, Wenbin Zhang 0005, Yan Tang, Feng Qin	First-aid: surviving and preventing memory management bugs during production runs.	EuroSys	2009	DBLP DOI BibTeX RDF	memory bug diagnosis, software reliability, software failure, error prevention
68	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
68	David Hovemeyer, William W. Pugh	Finding bugs is easy.	OOPSLA Companion	2004	DBLP DOI BibTeX RDF	bug checkers, static analysis, bugs, bug patterns
65	Kypros Constantinides, Onur Mutlu, Todd M. Austin	Online design bug detection: RTL analysis, flexible mechanisms, and evaluation.	MICRO	2008	DBLP DOI BibTeX RDF
64	Philip J. Guo, Thomas Zimmermann 0001, Nachiappan Nagappan, Brendan Murphy	Characterizing and predicting which bugs get fixed: an empirical study of Microsoft Windows.	ICSE (1)	2010	DBLP DOI BibTeX RDF
64	Yaniv Eytani, Shmuel Ur	Compiling a Benchmark of Documented Multi-Threaded Bugs.	IPDPS	2004	DBLP DOI BibTeX RDF
61	Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan	Analyzing concurrency bugs using dual slicing.	ISSTA	2010	DBLP DOI BibTeX RDF	dual slicing, concurrency bugs, execution indexing
57	Michael Grottke, Kishor S. Trivedi	Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.	Computer	2007	DBLP DOI BibTeX RDF	Bohrbugs, Mandelbugs, Aging-related bugs, Debugging, Software technologies, Software bugs
57	Shu-Chuan Shih, Bor-Chen Kuo	Using Bayesian Networks for Modeling Students' Learning Bugs and Sub-skills.	KES (1)	2005	DBLP DOI BibTeX RDF
54	David Hovemeyer, William W. Pugh	Finding more null pointer bugs, but not too many.	PASTE	2007	DBLP DOI BibTeX RDF	null pointers, Java, static analysis, software quality, bugs, FindBugs, bug patterns
54	Trishul M. Chilimbi, Vinod Ganapathy	HeapMD: identifying heap-based bugs using anomaly detection.	ASPLOS	2006	DBLP DOI BibTeX RDF	metrics, debugging, anomaly detection, bugs, heap
51	Zhenmin Li, Lin Tan 0001, Xuanhui Wang, Shan Lu 0001, Yuanyuan Zhou 0001, 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
51	Ben Liblit, Mayur Naik, Alice X. Zheng, Alexander Aiken, Michael I. Jordan	Scalable statistical bug isolation.	PLDI	2005	DBLP DOI BibTeX RDF	bug isolation, feature selection, invariants, random sampling, statistical debugging
50	Raimondas Sasnauskas, Olaf Landsiedel, Muhammad Hamad Alizai, Carsten Weise, Stefan Kowalewski, Klaus Wehrle	KleeNet: discovering insidious interaction bugs in wireless sensor networks before deployment.	IPSN	2010	DBLP DOI BibTeX RDF	automated protocol testing, wireless sensor networks, experimentation, failure detection
50	Brandon Lucia, Luis Ceze	Finding concurrency bugs with context-aware communication graphs.	MICRO	2009	DBLP DOI BibTeX RDF
50	Ramakrishna Rao D	An Analysis of Missed Structure Field Handling Bugs.	SERA	2008	DBLP DOI BibTeX RDF	errors of omission, structure, defects
50	Xi Wang 0005, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, Zheng Zhang 0001	Hang analysis: fighting responsiveness bugs.	EuroSys	2008	DBLP DOI BibTeX RDF	blocking invocation, hang, responsive invocation, program analysis, responsiveness, interactive performance
50	Feng Qin, Joseph A. Tucek, Yuanyuan Zhou 0001, Jagadeesan Sundaresan	Rx: Treating bugs as allergies - a safe method to survive software failures.	ACM Trans. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Reliability, Availability, Bug, Software Failure
50	Sunghun Kim 0001, E. James Whitehead Jr.	How long did it take to fix bugs?	MSR	2006	DBLP DOI BibTeX RDF
50	Feng Qin, Joseph A. Tucek, Jagadeesan Sundaresan, Yuanyuan Zhou 0001	Rx: treating bugs as allergies - a safe method to survive software failures.	SOSP	2005	DBLP DOI BibTeX RDF	reliability, availability, bug, software failure
50	Amir Michail, Tao Xie 0001	Helping users avoid bugs in GUI applications.	ICSE	2005	DBLP DOI BibTeX RDF	bug tracking system, fault evasion, gui applications, software testing, software tools, bug prediction
50	David Hovemeyer, William W. Pugh	Finding bugs is easy.	ACM SIGPLAN Notices	2004	DBLP DOI BibTeX RDF
50	Pin Zhou, Wei Liu 0014, Long Fei, Shan Lu 0001, Feng Qin, Yuanyuan Zhou 0001, Samuel P. Midkiff, Josep Torrellas	AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.	MICRO	2004	DBLP DOI BibTeX RDF
50	Karen Yorav, Sagi Katz, Ron Kiper	Reproducing Synchronization Bugs with Model Checking.	CHARME	2001	DBLP DOI BibTeX RDF
46	Mohamed F. Ahmed, Swapna S. Gokhale	Linux Bugs: Life Cycle and Resolution Analysis.	QSIC	2008	DBLP DOI BibTeX RDF	Linux Bugs, Reliability, Architecture
46	Malene Højbjerre	Profile likelihood in directed graphical models from BUGS output.	Stat. Comput.	2003	DBLP DOI BibTeX RDF	directed graphical model, Bayesian graphical model, profile likelihood, integrated likelihood, BUGS
44	Kai Pan, Sunghun Kim 0001, E. James Whitehead Jr.	Toward an understanding of bug fix patterns.	Empir. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Bug fix changes, Categorization of software faults, Software fault taxonomy, Causes of software bugs, Algorithms, Measurement, Experimentation, Software fault, Software error, Software bugs
44	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
44	David F. Bacon, Yiling Chen 0001, David C. Parkes, Malvika Rao	A market-based approach to software evolution.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	software correctness, mechanism design, markets
44	José Augusto Miranda Nacif, Thiago S. F. Silva, Andréa Iabrudi Tavares, Antônio Otávio Fernandes, Claudionor José Nunes Coelho Jr.	Efficient Allocation of Verification Resources using Revision History Information.	DDECS	2008	DBLP DOI BibTeX RDF
44	Lingxiao Jiang, Zhendong Su 0001	Context-aware statistical debugging: from bug predictors to faulty control flow paths.	ASE	2007	DBLP DOI BibTeX RDF	bug localization, machine learning, control flow analysis, statistical debugging
44	Westley Weimer	Patches as better bug reports.	GPCE	2006	DBLP DOI BibTeX RDF	localization, error, explanation, patch, bug, counterexample, bug report
44	Sunghun Kim 0001, 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
43	Helder Moreira Arruda, Rodrigo Simon Bavaresco, Rafael Kunst, Elvis Fernandes Bugs, Giovani Cheuiche Pesenti, Jorge Luis Victória Barbosa	Data Science Methods and Tools for Industry 4.0: A Systematic Literature Review and Taxonomy.	Sensors	2023	DBLP DOI BibTeX RDF
43	Geisa Bugs, Agnes Silva de Araujo, Diego Sáez-Trumper, Rodrigo Firmino	Mapping Political Extremism on Twitter in Brazil.	ICCSA (Workshops 4)	2023	DBLP DOI BibTeX RDF
43	Geisa Bugs	Spatial Data Analysis and Evaluation by Urban Planners of a PPGIS Experiment Performed in Porto Alegre, Brazil.	ICCSA (5)	2018	DBLP DOI BibTeX RDF
43	Geisa Bugs	ICTs Encouraging Changes in the Citizen's Relationship with Government and Urban Space: Brazilian Examples.	J. Community Informatics	2014	DBLP DOI BibTeX RDF
43	Geisa Bugs	Tecnologias da informação e comunicação, sistemas de informação geográfica e a participação pública no planejamento urbano.		2014	RDF
43	Geisa Bugs	Assessment of Online PPGIS Study Cases in Urban Planning.	ICCSA (1)	2012	DBLP DOI BibTeX RDF
42	Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte	A randomized scheduler with probabilistic guarantees of finding bugs.	ASPLOS	2010	DBLP DOI BibTeX RDF	testing, concurrency, randomized algorithms, race conditions
42	Mohammad Maifi Hasan Khan, Hieu Khac Le, Hossein Ahmadi 0001, Tarek F. Abdelzaher, Jiawei Han 0001	Dustminer: troubleshooting interactive complexity bugs in sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	distributed automated debugging, protocol debugging, wireless sensor networks
42	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
42	Dennis Jeffrey, Neelam Gupta, Rajiv Gupta 0001	Identifying the root causes of memory bugs using corrupted memory location suppression.	ICSM	2008	DBLP DOI BibTeX RDF
42	Lin Tan 0001, Ding Yuan 0004, Gopal Krishna, Yuanyuan Zhou 0001	/icomment: bugs or bad comments?/.	SOSP	2007	DBLP DOI BibTeX RDF	comment analysis, natural language processing for software engineering, programming rules and static analysis
42	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
42	Zhenmin Li, Shan Lu 0001, Suvda Myagmar, Yuanyuan Zhou 0001	CP-Miner: Finding Copy-Paste and Related Bugs in Large-Scale Software Code.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	data mining, Software analysis, code reuse, debugging aids, code duplication
42	Alexander Klaiber, Sinclair Chau	Automatic Detection of Logic Bugs in Hardware Designs.	MTV	2003	DBLP DOI BibTeX RDF
42	Per Bjesse, Tim Leonard, Abdel Mokkedem	Finding Bugs in an Alpha Microprocessor Using Satisfiability Solvers.	CAV	2001	DBLP DOI BibTeX RDF
42	Bev Littlewood	What makes a reliable program: few bugs, or a small failure rate?	AFIPS National Computer Conference	1980	DBLP DOI BibTeX RDF
40	Jie Yu 0016, Satish Narayanasamy	A case for an interleaving constrained shared-memory multi-processor.	ISCA	2009	DBLP DOI BibTeX RDF	parallel programming, multiprocessors, software reliability, concurrency bugs
40	Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou	Evaluating static analysis defect warnings on production software.	PASTE	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
40	Diomidis Spinellis	Bug Busters.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	Lint, annotations, tools, errors, type checking, bugs
40	Irena Bojanova, Yaacov Yesha, Paul E. Black	Randomness Classes in Bugs Framework (BF): True-Random Number Bugs (TRN) and Pseudo-Random Number Bugs (PRN).	COMPSAC (1)	2018	DBLP DOI BibTeX RDF
36	Gabor Szeder	Unit testing for multi-threaded Java programs.	PADTAD	2009	DBLP DOI BibTeX RDF	Java
36	Trishul M. Chilimbi, Ben Liblit, Krishna K. Mehra, Aditya V. Nori, Kapil Vaswani	HOLMES: Effective statistical debugging via efficient path profiling.	ICSE	2009	DBLP DOI BibTeX RDF
36	Shan Lu 0001, Soyeon Park, Eunsoo Seo, Yuanyuan Zhou 0001	Learning from mistakes: a comprehensive study on real world concurrency bug characteristics.	ASPLOS	2008	DBLP DOI BibTeX RDF	bug characteristics, concurrent program, concurrency bug
36	Guru Venkataramani, Brandyn Roemer, Yan Solihin, Milos Prvulovic	MemTracker: Efficient and Programmable Support for Memory Access Monitoring and Debugging.	HPCA	2007	DBLP DOI BibTeX RDF
36	W. Eric Wong, Yu Qi, Lei Zhao, Kai-Yuan Cai	Effective Fault Localization using Code Coverage.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
36	Shan Lu 0001, Pin Zhou, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas	PathExpander: Architectural Support for Increasing the Path Coverage of Dynamic Bug Detection.	MICRO	2006	DBLP DOI BibTeX RDF
36	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
36	Chao Liu 0001, Xifeng Yan, Long Fei, Jiawei Han 0001, Samuel P. Midkiff	SOBER: statistical model-based bug localization.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	localization metrics, statistical debugging
35	Corneliu Popeea, Wei-Ngan Chin	Dual analysis for proving safety and finding bugs.	SAC	2010	DBLP DOI BibTeX RDF	numerical domains, static analysis
35	Olga Baysal, Michael W. Godfrey, Robin Cohen	A bug you like: A framework for automated assignment of bugs.	ICPC	2009	DBLP DOI BibTeX RDF
35	Frank Eichinger, Klemens Böhm, Matthias Huber	Mining Edge-Weighted Call Graphs to Localise Software Bugs.	ECML/PKDD (1)	2008	DBLP DOI BibTeX RDF
35	Shuo Chen, David Ross, Yi-Min Wang	An analysis of browser domain-isolation bugs and a light-weight transparent defense mechanism.	CCS	2007	DBLP DOI BibTeX RDF	accenting, domain isolation bug, browser, same-origin policy
35	Dor Nir, Shmuel S. Tyszberowicz, Amiram Yehudai	Locating Regression Bugs.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
35	D. T. V. Ramakrishna Rao	Detection of Bugs by Compiler Optimizer Using Macro Expansion of Functions.	SERA	2007	DBLP DOI BibTeX RDF
35	Yaniv Eytani, Timo Latvala	Explaining Intermittent Concurrent Bugs by Minimizing Scheduling Noise.	Haifa Verification Conference	2006	DBLP DOI BibTeX RDF	Concurrent debugging, scheduling noise, Java, testing
33	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
33	Michael D. Bond, Katherine E. Coons, Kathryn S. McKinley	PACER: proportional detection of data races.	PLDI	2010	DBLP DOI BibTeX RDF	concurrency, sampling, data races, bugs
33	Manna Wu, Bo Zhou, Wei Shi	A self-adaptive test framework for concurrent programs.	MEDES	2009	DBLP DOI BibTeX RDF	concurrent test point, self-adaptive, concurrent bugs
33	V. Benjamin Livshits, Thomas Zimmermann 0001	DynaMine: finding common error patterns by mining software revision histories.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
33	Iván Arce	The Kernel Craze.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	kernel bugs, kernel security, exploit code, vulnerabilities
33	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
32	William W. Pugh	Finding bugs in eclipse.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Java, static analysis, software quality, eclipse, bugs, false positives, software defects, FindBugs, bug patterns
32	Daniel Jackson 0001, Mandana Vaziri	Finding bugs with a constraint solver.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
29	Mangala Gowri Nanda, Monika Gupta 0002, Saurabh Sinha, Satish Chandra 0001, David Schmidt, Pradeep Balachandran	Making defect-finding tools work for you.	ICSE (2)	2010	DBLP DOI BibTeX RDF	defect differencing, defect merging, defect prioritization, defect views, static analysis portal
29	Zhongxian Gu, Earl T. Barr, David J. Hamilton, Zhendong Su 0001	Has the bug really been fixed?	ICSE (1)	2010	DBLP DOI BibTeX RDF	bug fixes, symbolic execution, weakest precondition
29	Lee Chew, David Lie	Kivati: fast detection and prevention of atomicity violations.	EuroSys	2010	DBLP DOI BibTeX RDF	kivati, watchpoint, atomicity violation
29	Bogdan F. Romanescu, Alvin R. Lebeck, Daniel J. Sorin	Specifying and dynamically verifying address translation-aware memory consistency.	ASPLOS	2010	DBLP DOI BibTeX RDF	virtual memory, memory consistency, address translation, dynamic verification
29	Guru Venkataramani, Ioannis Doudalis, Yan Solihin, Milos Prvulovic	MemTracker: An accelerator for memory debugging and monitoring.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	memory access monitoring, debugging, Accelerator
29	Peng Shao, Randy K. Smith	Feature location by IR modules and call graph.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	information retrieval, call graph, feature location
29	Asim Kadav, Matthew J. Renzelmann, Michael M. Swift	Tolerating hardware device failures in software.	SOSP	2009	DBLP DOI BibTeX RDF	reliability, debugging, code generation, recovery, device drivers
29	Hong-Zu Chou, I-Hui Lin, Ching-Sung Yang, Kai-Hui Chang, Sy-Yen Kuo	Enhancing bug hunting using high-level symbolic simulation.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	bughunter, design for verification, symbolic simulation
29	Bohuslav Krena, Zdenek Letko, Rachel Tzoref, Shmuel Ur, Tomás Vojnar	Healing data races on-the-fly.	PADTAD	2007	DBLP DOI BibTeX RDF	testing, concurrency, self-healing
29	Westley Weimer, George C. Necula	Mining Temporal Specifications for Error Detection.	TACAS	2005	DBLP DOI BibTeX RDF
29	Randy Stein, Susan Brennan	Another person's eye gaze as a cue in solving programming problems.	ICMI	2004	DBLP DOI BibTeX RDF	gaze-based & attentional interfaces, visual co-presence, debugging, eye tracking, programming, mediated communication
29	Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner 0001	Cool security trends.	SACMAT	2002	DBLP DOI BibTeX RDF
29	Sadahiro Isoda	A Criticism on the Capture-and-Recapture Method for Software Reliability Assurance.	APSEC	1995	DBLP DOI BibTeX RDF	Capture-and-recapture, reliability assurance, testing, metrics, hypergeometric distribution
29	Jeffrey Bonar, Elliot Soloway	Uncovering Principles of Novice Programming.	POPL	1983	DBLP DOI BibTeX RDF
28	Swarup Kumar Sahoo, John Criswell, Vikram S. Adve	An empirical study of reported bugs in server software with implications for automated bug diagnosis.	ICSE (1)	2010	DBLP DOI BibTeX RDF	bug characteristics, testing, network servers, bug reports
28	Johannes Bohnet, Stefan Voigt, Jürgen Döllner	Projecting code changes onto execution traces to support localization of recently introduced bugs.	SAC	2009	DBLP DOI BibTeX RDF	dynamic analysis, software visualization, fault localization
28	Dennis Jeffrey, Min Feng 0001, Neelam Gupta, Rajiv Gupta 0001	BugFix: A learning-based tool to assist developers in fixing bugs.	ICPC	2009	DBLP DOI BibTeX RDF
28	Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur, Eitan Farchi	Forcing small models of conditions on program interleaving for detection of concurrent bugs.	PADTAD	2009	DBLP DOI BibTeX RDF	concurrency bug patterns, dynamic exploration, forcing algorithm, model of conditions on program interleaving, analysis
28	Md. Mainur Rahman, Günther Ruhe, Thomas Zimmermann 0001	Optimized assignment of developers for fixing bugs an initial evaluation for eclipse projects.	ESEM	2009	DBLP DOI BibTeX RDF
28	W. Eric Wong, Yan Shi, Yu Qi, Richard M. Golden	Using an RBF Neural Network to Locate Program Bugs.	ISSRE	2008	DBLP DOI BibTeX RDF
28	Goh Kondoh, Tamiya Onodera	Finding bugs in java native interface programs.	ISSTA	2008	DBLP DOI BibTeX RDF	typestate analysis, static analysis, java native interface