Search results for "bugs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Craig M. McRae, Rayford B. Vaughn	Phighting the Phisher: Using Web Bugs and Honeytokens to Investigate the Source of Phishing Attacks.	HICSS	2007	DBLP DOI BibTeX RDF
28	Westley Weimer	Exception-Handling Bugs in Java and a Language Extension to Avoid Them.	Advanced Topics in Exception Handling Techniques	2006	DBLP DOI BibTeX RDF
28	Smruti R. Sarangi, Abhishek Tiwari 0002, Josep Torrellas	Phoenix: Detecting and Recovering from Permanent Processor Design Bugs with Programmable Hardware.	MICRO	2006	DBLP DOI BibTeX RDF
28	Yuqiang Huang, Bruce R. Childers, Mary Lou Soffa	Catching and Identifying Bugs in Register Allocation.	SAS	2006	DBLP DOI BibTeX RDF
28	David Ginat, Owen L. Astrachan, Daniel D. Garcia, Mark Guzdial	"But it looks right!": the bugs students don't see.	SIGCSE	2004	DBLP DOI BibTeX RDF	student errors, pedagogy
28	David Poutakidis, Lin Padgham, Michael Winikoff	An Exploration of Bugs and Debugging in Multi-agent Systems.	ISMIS	2003	DBLP DOI BibTeX RDF
28	Miroslav N. Velev	Collection of High-Level Microprocessor Bugs from Formal Verification of Pipelined and Superscalar Designs.	ITC	2003	DBLP DOI BibTeX RDF
28	David Poutakidis, Lin Padgham, Michael Winikoff	An exploration of bugs and debugging in multi-agent systems.	AAMAS	2003	DBLP DOI BibTeX RDF	agent oriented design, multi-agent systems, debugging, interaction protocols
28	Gerard J. Holzmann	The logic of bugs.	SIGSOFT FSE	2002	DBLP DOI BibTeX RDF	distributed systems software, logic model checking, SPIN
28	Yasuharu Nishi	Quality-Adaptive Testing: A Strategy for Testing with Focusing on Where Bugs Have Been Detected.	ECSQ	2002	DBLP DOI BibTeX RDF
28	Brad Richards	Bugs as features: teaching network protocols through debugging.	SIGCSE	2000	DBLP DOI BibTeX RDF
28	Daniel Jackson 0001	Aspect: Detecting Bugs with Abstract Dependences.	ACM Trans. Softw. Eng. Methodol.	1995	DBLP DOI BibTeX RDF	dataflow dependences, partial verification, partial specification
27	Jianhao Xu, Kangjie Lu, Zhengjie Du, Zhu Ding, Linke Li, Qiushi Wu, Mathias Payer, Bing Mao	Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs.	USENIX Security Symposium	2023	DBLP BibTeX RDF
27	Liang He, Purui Su, Chao Zhang 0008, Yan Cai 0001, Jinxin Ma	One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels.	SOSP	2023	DBLP DOI BibTeX RDF
27	Amrit Rajbhandari, Minhaz F. Zibran, Farjana Z. Eishita	Security Versus Performance Bugs: How Bugs are Handled in the Chromium Project.	SERA	2022	DBLP DOI BibTeX RDF
27	Irena Bojanova, Carlos Eduardo Galhardo	Classifying Memory Bugs Using Bugs Framework Approach.	COMPSAC	2021	DBLP DOI BibTeX RDF
27	Xiaodong Gu 0002, Yo-Sub Han, Sunghun Kim 0001, Hongyu Zhang 0002	Do Bugs Propagate? An Empirical Analysis of Temporal Correlations Among Software Bugs.	ECOOP	2021	DBLP DOI BibTeX RDF
27	Gema Rodríguez-Pérez, Gregorio Robles, Alexander Serebrenik, Andy Zaidman, Daniel M. Germán, Jesús M. González-Barahona	How bugs are born: a model to identify how bugs are introduced in software components.	Empir. Softw. Eng.	2020	DBLP DOI BibTeX RDF
27	Yana Malysheva, Caitlin Kelleher	Bugs as Features: Describing Patterns in Student Code through a Classification of Bugs.	CHI Extended Abstracts	2020	DBLP DOI BibTeX RDF
27	Luis Henrique Vieira Amaral, Marcos César de Oliveira 0001, Welder Pinheiro Luz, José Fortes, Rodrigo Bonifácio, Daniel Alencar, Eduardo Monteiro, Gustavo Pinto 0001, David Lo 0001	How (Not) to Find Bugs: The Interplay Between Merge Conflicts, Co-Changes, and Bugs.	ICSME	2020	DBLP DOI BibTeX RDF
27	Gemma Catolino, Fabio Palomba, Andy Zaidman, Filomena Ferrucci	Not All Bugs Are the Same: Understanding, Characterizing, and Classifying the Root Cause of Bugs.	CoRR	2019	DBLP BibTeX RDF
27	Wei Zheng 0006, Chen Feng 0005, Tingting Yu, Xibing Yang, Xiaoxue Wu	Towards understanding bugs in an open source cloud management stack: An empirical study of OpenStack software bugs.	J. Syst. Softw.	2019	DBLP DOI BibTeX RDF
27	Wesley Dingman, Aviel Cohen, Nick Ferrara, Adam Lynch, Patrick Jasinski, Paul E. Black, Lin Deng	Classification of Smart Contract Bugs Using the NIST Bugs Framework.	SERA	2019	DBLP DOI BibTeX RDF
27	Hanmin Qin, Xin Sun 0013	Classifying Bug Reports into Bugs and Non-bugs Using LSTM.	Internetware	2018	DBLP DOI BibTeX RDF
27	David A. Tomassi	Bugs in the wild: examining the effectiveness of static analyzers at finding real-world bugs.	ESEC/SIGSOFT FSE	2018	DBLP DOI BibTeX RDF
27	Ripon K. Saha, Yingjun Lyu, Wing Lam, Hiroaki Yoshida, Mukul R. Prasad	Bugs.jar: a large-scale, diverse dataset of real-world Java bugs.	MSR	2018	DBLP DOI BibTeX RDF
27	Ismail Akturk, Riad Akram, Mohammad Majharul Islam, Abdullah Muzahid, Ulya R. Karpuzcu	Accuracy Bugs: A New Class of Concurrency Bugs to Exploit Algorithmic Noise Tolerance.	ACM Trans. Archit. Code Optim.	2016	DBLP DOI BibTeX RDF
27	Domenico Cotroneo, Roberto Pietrantuono, Stefano Russo 0001, Kishor S. Trivedi	How do bugs surface? A comprehensive study on the characteristics of software bugs manifestation.	J. Syst. Softw.	2016	DBLP DOI BibTeX RDF
27	Irena Bojanova, Paul E. Black, Yaacov Yesha, Yan Wu	The Bugs Framework (BF): A Structured Approach to Express Bugs.	QRS	2016	DBLP DOI BibTeX RDF
27	Benoit Cornu	Automatic Analysis and Repair of Exception Bugs for Java Programs. (Analyse et réparation automatique des bugs liés aux exceptions dans les programmes Java).		2015	RDF
27	Martin R. Woodward	Editorial: Little bugs and big bugs.	Softw. Test. Verification Reliab.	2002	DBLP DOI BibTeX RDF
26	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
26	Patrycja Wegrzynowicz, Krzysztof Stencel	The good, the bad, and the ugly: three ways to use a semantic code query system.	OOPSLA Companion	2009	DBLP DOI BibTeX RDF	bad practices, semantic code query system, design patterns, bugs, automatic detection
26	Daniel Marino, Madanlal Musuvathi, Satish Narayanasamy	LiteRace: effective sampling for lightweight data-race detection.	PLDI	2009	DBLP DOI BibTeX RDF	dynamic data race detection, sampling, concurrency bugs
26	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
26	Premkumar T. Devanbu, Brendan Murphy, Nachiappan Nagappan, Thomas Zimmermann 0001, Valentin Dallmeier	DEFECTS 2008: international workshop on defects in large software systems.	ISSTA	2008	DBLP DOI BibTeX RDF	defect localization, empirical studies, faults, bugs, defect prediction, software defects
26	Danny Kopec, Suzanne Tamang	Failures in complex systems: case studies, causes, and possible remedies.	ACM SIGCSE Bull.	2007	DBLP DOI BibTeX RDF	technical disasters, software engineering, complex systems, safety-critical systems, human errors, medical errors, software bugs
26	Kellie Michele Evans	Is Bosco's Rule Universal?	MCU	2004	DBLP DOI BibTeX RDF	gliders, Larger than Life, sliding block memory, spaceships, cellular automata, universal, bugs, register, Game of Life
26	Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm	Putting static analysis to work for verification: A case study.	ISSTA	2000	DBLP DOI BibTeX RDF	alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers
26	Kamil Saraç, Kevin C. Almeroth	Monitoring Reachability in the Global Multicast Infrastructure.	ICNP	2000	DBLP DOI BibTeX RDF	global multicast infrastructure, Multicast Backbone, flat virtual topology, routing information, reachability monitoring, sdr-monitor, session directory information, long term reachability characteristics, protocol bugs, IP multicast infrastructure, multicast traffic management, Internet, transport protocols, network topology, network topology, autonomous systems, reachability analysis, telecommunication network routing, multicast communication, telecommunication traffic, computer network management, hierarchical routing, ISP, MBone, computerised monitoring, Internet service providers, application layer, management tools
26	Erez Buchnik, Shmuel Ur	Compacting regression-suites on-the-fly.	APSEC	1997	DBLP DOI BibTeX RDF	regression suite compaction algorithm, regression suite size minimization, online set-cover, intermediate set size, software testing, coverage, program testing, bugs, computational resources, solution quality
26	Qun Zhong	Providing Secure Environments for Untrusted Network Applications.	WETICE	1997	DBLP DOI BibTeX RDF	secure environments, untrusted network applications, VirtualVault, Trusted Sendmail Proxy, network application program bugs, unsafe environment, World Wide Web servers, mailservers, compartmented-mode workstation, applications wrapping, application service transfer, Internet, electronic commerce, case studies, security of data, security breaches
26	José Luís Barros Justo	A repository to support requirement specifications reuse.	ISCNZ	1996	DBLP DOI BibTeX RDF	requirement specifications reuse, new developments, program bugs, design-by reuse methodology, design-for reuse methodology, representative descriptors, component engineering, classification, software tools, software quality, software reuse, time, computer aided software engineering, software repository, component reuse, abstraction levels, indexing techniques, software methodologies, software cost
22	Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan	Detecting atomic-set serializability violations in multithreaded programs through active randomized testing.	ICSE (1)	2010	DBLP DOI BibTeX RDF	software testing, dynamic analysis, atomicity, serializability
22	Katherine E. Coons, Sebastian Burckhardt, Madanlal Musuvathi	GAMBIT: effective unit testing for concurrency libraries.	PPoPP	2010	DBLP DOI BibTeX RDF	preemption bound, model checking, concurrency, software testing, multithreading, partial-order reduction
22	Nicolas Bruno	Minimizing database repros using language grammars.	EDBT	2010	DBLP DOI BibTeX RDF
22	Tamim I. Sookoor, Timothy W. Hnat, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse	Macrodebugging: global views of distributed program execution.	SenSys	2009	DBLP DOI BibTeX RDF	wireless embedded networks, macroprogramming, source-level debugging
22	Darren Dao, Jeannie R. Albrecht, Charles Edwin Killian, Amin Vahdat	Live Debugging of Distributed Systems.	CC	2009	DBLP DOI BibTeX RDF
22	Bohuslav Krena, Zdenek Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomás Vojnar	A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing.	RV	2009	DBLP DOI BibTeX RDF
22	Soyeon Park, Yuanyuan Zhou 0001, Weiwei Xiong, Zuoning Yin, Rini Kaushik, Kyu H. Lee, Shan Lu 0001	PRES: probabilistic replay with execution sketching on multiprocessors.	SOSP	2009	DBLP DOI BibTeX RDF	replay, concurrency bug
22	Gautam Altekar, Ion Stoica	ODR: output-deterministic replay for multicore debugging.	SOSP	2009	DBLP DOI BibTeX RDF	debugging, multicore, inference, deterministic replay
22	Miguel Castro 0001, Manuel Costa, Jean-Philippe Martin, Marcus Peinado, Periklis Akritidis, Austin Donnelly, Paul Barham 0001, Richard Black	Fast byte-granularity software fault isolation.	SOSP	2009	DBLP DOI BibTeX RDF	device drivers, isolation
22	Javed Ferzund, Syed Nadeem Ahsan, Franz Wotawa	Empirical Evaluation of Hunk Metrics as Bug Predictors.	IWSM/Mensura	2009	DBLP DOI BibTeX RDF	Bug predictor, hunk metrics, empirical software engineering, software faults, code metrics
22	Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer	Deconstructing concurrency heisenbugs.	ICSE Companion	2009	DBLP DOI BibTeX RDF
22	Westley Weimer, Nina Mishra	Privately Finding Specifications.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF	F.3.1.f Specification techniques, D.2.19 Software Quality/SQA, I.2.6 Learning, K.4.1.f Privacy
22	José Fonseca 0002, Marco Vieira	Mapping software faults with web security vulnerabilities.	DSN	2008	DBLP DOI BibTeX RDF
22	Qing Cao, Tarek F. Abdelzaher, John A. Stankovic, Kamin Whitehouse, Liqian Luo	Declarative tracepoints: a programmable and application independent debugging system for wireless sensor networks.	SenSys	2008	DBLP DOI BibTeX RDF	declarative tracepoints, embedded debugging, wireless sensor networks
22	Shaoyin Cheng, Fan Jiang 0005, Jiajie Wang, Tao Zhang, Xuezhi Xing	DBTG: Demand-Driven Backtracking Test Generation.	ICYCS	2008	DBLP DOI BibTeX RDF
22	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
22	Eric Eide, John Regehr	Volatiles are miscompiled, and what to do about it.	EMSOFT	2008	DBLP DOI BibTeX RDF	compiler defect, compiler testing, random program generation, random testing, automated testing, volatile
22	Sean McAllister, Engin Kirda, Christopher Kruegel	Leveraging User Interactions for In-Depth Testing of Web Applications.	RAID	2008	DBLP DOI BibTeX RDF
22	Eli Biham, Yaniv Carmeli, Adi Shamir	Bug Attacks.	CRYPTO	2008	DBLP DOI BibTeX RDF	Bug attack, Pohlig-Hellman, RSA, ECC, Fault attack
22	Israel Herraiz, Daniel M. Germán, Jesús M. González-Barahona, Gregorio Robles	Towards a simplification of the bug report form in eclipse.	MSR	2008	DBLP DOI BibTeX RDF	bug tracking system, msr challenge, eclipse, bug report
22	Renata L. M. E. do Rego, Márcio Ribeiro 0001, Emanuella Aleixo, Renata M. C. R. de Souza	Bug reports retrieval using Self-organizing Map.	ICDIM	2008	DBLP DOI BibTeX RDF
22	Ilya Wagner, Valeria Bertacco, Todd M. Austin	Microprocessor Verification via Feedback-Adjusted Markov Models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
22	Pin Zhou, Radu Teodorescu, Yuanyuan Zhou	HARD: Hardware-Assisted Lockset-based Race Detection.	HPCA	2007	DBLP DOI BibTeX RDF
22	Karl Chen, David A. Wagner 0001	Large-scale analysis of format string vulnerabilities in Debian Linux.	PLAS	2007	DBLP DOI BibTeX RDF	format string vulnerability, large-scale analysis, type-qualifier inference
22	Rachel Tzoref, Shmuel Ur, Elad Yom-Tov	Instrumenting where it hurts: an automatic concurrent debugging technique.	ISSTA	2007	DBLP DOI BibTeX RDF	feature selection, concurrency, debugging
22	Jun Chen 0018, Steve MacDonald	Testing concurrent programs using value schedules.	ASE	2007	DBLP DOI BibTeX RDF	value schedule, model checking, concurrent
22	Hemant Joshi, Chuanlei Zhang, Srini Ramaswamy, Coskun Bayrak	Local and Global Recency Weighting Approach to Bug Prediction.	MSR	2007	DBLP DOI BibTeX RDF
22	Chongkyung Kil, Emre Can Sezer, Peng Ning, Xiaolan Zhang 0001	Automated Security Debugging Using Program Structural Constraints.	ACSAC	2007	DBLP DOI BibTeX RDF
22	Cemal Yilmaz 0001, Myra B. Cohen, Adam A. Porter	Covering Arrays for Efficient Fault Characterization in Complex Configuration Spaces.	IEEE Trans. Software Eng.	2006	DBLP DOI BibTeX RDF	fault characterization, Software testing, covering arrays, distributed continuous quality assurance
22	Ashish Aggarwal, Pankaj Jalote	Monitoring the Security Health of Software Systems.	ISSRE	2006	DBLP DOI BibTeX RDF
22	Sunghun Kim 0001, Thomas Zimmermann 0001, Kai Pan, E. James Whitehead Jr.	Automatic Identification of Bug-Introducing Changes.	ASE	2006	DBLP DOI BibTeX RDF
22	James R. Larus	Is process or architecture the solution?	ASID	2006	DBLP DOI BibTeX RDF
22	Shan Lu 0001, Joseph A. Tucek, Feng Qin, Yuanyuan Zhou 0001	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
22	Long Fei, Kyungwoo Lee, Fei Li, Samuel P. Midkiff	Argus: Online Statistical Bug Detection.	FASE	2006	DBLP DOI BibTeX RDF
22	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
22	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
22	Feng Qin, Shan Lu 0001, Yuanyuan Zhou 0001	SafeMem: Exploiting ECC-Memory for Detecting Memory Leaks and Memory Corruption During Production Runs.	HPCA	2005	DBLP DOI BibTeX RDF
22	Zhenmin Li, Yuanyuan Zhou	PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code.	ESEC/SIGSOFT FSE	2005	DBLP DOI BibTeX RDF	automated specification generation, automated violation detection, data mining for software engineering, programming rules, pattern recognition, static analysis
22	John Anvik, Lyndon Hiew, Gail C. Murphy	Coping with an open bug repository.	eTX	2005	DBLP DOI BibTeX RDF	bugzilla, machine learning, duplicate detection, triage
22	Ilya Wagner, Valeria Bertacco, Todd M. Austin	StressTest: an automatic approach to test generation via activity monitors.	DAC	2005	DBLP DOI BibTeX RDF	directed-random simulation, architectural simulation, high-performance simulation
22	Ilir Gashi, Peter T. Popov, Lorenzo Strigini	Fault Diversity among Off-The-Shelf SQL Database Servers.	DSN	2004	DBLP DOI BibTeX RDF
22	Nick Rutar, Christian B. Almazan, Jeffrey S. Foster	A Comparison of Bug Finding Tools for Java.	ISSRE	2004	DBLP DOI BibTeX RDF
22	Pankaj Jalote, Brendan Murphy	Reliability Growth in Software Products.	ISSRE	2004	DBLP DOI BibTeX RDF
22	Dave Ahmad	The Rising Threat of Vulnerabilities Due to Integer Errors.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
22	Herbert H. Thompson	Why Security Testing Is Hard.	IEEE Secur. Priv.	2003	DBLP DOI BibTeX RDF
22	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
22	Pradip Bose	Testing for Function and Performance: Towards an Integrated Processor Validation Methodology.	J. Electron. Test.	2000	DBLP DOI BibTeX RDF	performance test cases, bounds modeling, performance validation, integrated methodology, test generation, microprocessor testing
22	Tom Chávez	A Decision-Analytic Stopping Rule for Validation of Commercial Software Systems.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	commercial software development, reliability, Software testing, decision analysis, Bayesian statistics
22	Lee Naish	A Three-Valued Declarative Debugging Scheme.	ACSC	2000	DBLP DOI BibTeX RDF
22	Andy Chou, Benjamin Chelf, Dawson R. Engler, Mark A. Heinrich	Using Meta-level Compilation to Check FLASH Protocol Code.	ASPLOS	2000	DBLP DOI BibTeX RDF
22	C. Han Yang, David L. Dill	Validation with Guided Search of the State Space.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
22	Mahadev Satyanarayanan, David C. Steere, Masashi Kudo, Hank Mashburn	Transparent logging as a technique for debugging complex distributed systems.	ACM SIGOPS European Workshop	1992	DBLP DOI BibTeX RDF
21	Dane Bertram, Amy Voida, Saul Greenberg, Robert J. Walker	Communication, collaboration, and bugs: the social nature of issue tracking in small, collocated teams.	CSCW	2010	DBLP DOI BibTeX RDF	software engineering, issue tracking, shared knowledge
21	Loïc Duflot	CPU bugs, CPU backdoors and consequences on security.	J. Comput. Virol.	2009	DBLP DOI BibTeX RDF
21	Jorge Aranda, Gina Venolia	The secret life of bugs: Going past the errors and omissions in software repositories.	ICSE	2009	DBLP DOI BibTeX RDF
21	Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri	Finding Concurrency-Related Bugs Using Random Isolation.	VMCAI	2009	DBLP DOI BibTeX RDF
21	Thomas Zimmermann 0001	Changes and bugs - Mining and predicting development activities.	ICSM	2009	DBLP DOI BibTeX RDF