|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
|
Displaying result #101 - #200 of 2555 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|