The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for BUGS with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1986 (18) 1987-1990 (19) 1991-1993 (19) 1994-1995 (15) 1996-1997 (23) 1998-1999 (36) 2000 (39) 2001 (25) 2002 (52) 2003 (50) 2004 (76) 2005 (123) 2006 (156) 2007 (189) 2008 (199) 2009 (166) 2010 (104) 2011 (51) 2012 (53) 2013 (56) 2014 (64) 2015 (69) 2016 (83) 2017 (60) 2018 (107) 2019 (106) 2020 (110) 2021 (150) 2022 (145) 2023 (160) 2024 (32)
Publication types (Num. hits)
article(611) book(5) incollection(7) inproceedings(1892) phdthesis(40)
Venues (Conferences, Journals, ...)
CoRR(182) ICSE(60) ASE(58) ESEC/SIGSOFT FSE(50) ISSTA(48) MSR(46) PLDI(45) ASPLOS(37) IEEE Trans. Software Eng.(33) DAC(26) SOSP(25) Empir. Softw. Eng.(23) ICSM(23) USENIX Security Symposium(23) CAV(20) SANER(20) More (+10 of total 764)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1831 occurrences of 917 keywords

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