|
|
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 |
15 | Sung-Boem Park, Subhasish Mitra |
IFRA: instruction footprint recording and analysis for post-silicon bug localization in processors. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
verification, debug, validation, design for debug |
15 | Xiangyu Zhang 0001, Neelam Gupta, Rajiv Gupta 0001 |
A study of effectiveness of dynamic slicing in locating real faults. |
Empir. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Full slicing, Exploring slices, Fault location, Dynamic program slicing, Data slicing |
15 | Simon P. Wilson 0001, Francisco J. Samaniego |
Nonparametric Analysis of the Order-Statistic Model in Software Reliability. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Beta-Stacy process, reliability, testing strategies, order statistics, nonparametric statistics, survival analysis |
15 | Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma |
Post-release reliability growth in software products. |
ACM Trans. Softw. Eng. Methodol. |
2007 |
DBLP DOI BibTeX RDF |
Post-release reliability growth, product stabilization time |
15 | Byron Cook |
Bringing Hardware and Software Closer Together with Termination Analysis. |
MEMOCODE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David Saff |
From developer's head to developer tests: characterization, theories, and preventing one more bug. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
theories, characterization, testing tools |
15 | Gang Tan, Greg Morrisett |
Ilea: inter-language analysis across java and c. |
OOPSLA |
2007 |
DBLP DOI BibTeX RDF |
JVML, inter-language analysis, specification extraction, JNI, java native interface |
15 | David Gay, Robert Ennals, Eric A. Brewer |
Safe manual memory management. |
ISMM |
2007 |
DBLP DOI BibTeX RDF |
C, safety, memory management, reference counting |
15 | Shan Tang, Qiang Xu 0001 |
A multi-core debug platform for NoC-based systems. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ilya Wagner, Valeria Bertacco |
Engineering trust with semantic guardians. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Yusen Li, Feng Wang, Gang Wang 0001, Xiaoguang Liu 0001, Jing Liu 0010 |
MKtrace: An Innovative Debugging Tool for Multi-Threaded Programs on Multiprocessor Systems. |
APSEC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Sarunas Packevicius, Andrej Usaniov, Eduardas Bareisa |
Software testing using imprecise OCL constraints as oracles. |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
software testing, OCL, test oracle |
15 | Ganesh Gopalakrishnan, Robert M. Kirby |
Formal Analysis for Debugging and Performance Optimization of MPI. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001 |
A study of interleaving coverage criteria. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
concurrent program, interleaving, coverage criteria |
15 | Pallavi Joshi, Koushik Sen, Mark Shlimovich |
Predictive testing: amplifying the effectiveness of software testing. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
assertion hoisting, predictive testing, random testing, symbolic execution, testing C programs |
15 | Brett Daniel, Danny Dig, Kely Garcia, Darko Marinov |
Automated testing of refactoring engines. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
imperative generators, refactoring engines, automated testing, test data generation, bounded-exhaustive testing |
15 | Sebastian Burckhardt, Rajeev Alur, Milo M. K. Martin |
CheckFence: checking consistency of concurrent data types on relaxed memory models. |
PLDI |
2007 |
DBLP DOI BibTeX RDF |
lock-free synchronization, shared-memory multiprocessors, multi-threading, software model checking, memory models, sequential consistency, concurrent data structures |
15 | Hassen Saïdi |
Guarded models for intrusion detection. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
intrusion detection, static analysis, dynamic analysis, invariant generation |
15 | Fumihiko Anma, Tomonori Kato, Tatsuhiro Konishi, Yukihiro Itoh, Toshio Okamoto |
An Educational System that Explains the Domain-oriented-explanation of Program's Behaviors. |
ICALT |
2007 |
DBLP DOI BibTeX RDF |
|
15 | 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 |
15 | Yoonki Song, Suresh Thummalapenta, Tao Xie 0001 |
UnitPlus: assisting developer testing in Eclipse. |
ETX |
2007 |
DBLP DOI BibTeX RDF |
developer testing, test code reuse |
15 | Javier Alonso 0001, Jordi Torres, Luís Moura Silva, Paulo Silva |
Dependable Grid Services: A Case Study with OGSA-DAI. |
CoreGRID |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jimmy Su, Katherine A. Yelick |
Automatic Communication Performance Debugging in PGAS Languages. |
LCPC |
2007 |
DBLP DOI BibTeX RDF |
PGAS languages, automatic performance debugging |
15 | Joaquín Entrialgo, Javier García 0002, José Luis Díaz, Daniel F. García |
Stochastic Metrics for Debugging the Timing Behaviour of Real-Time Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Mark Hibberd, Michael Lawley, Kerry Raymond |
Forensic Debugging of Model Transformations. |
MoDELS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Miguel Pérez-Francisco, Pablo Boronat Pérez, Gregorio Robles |
Correlation between bug notifications, messages and participants in Debian's bug tracking system. |
ESEM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | David Andrzejewski, Anne Mulhern, Ben Liblit, Xiaojin Zhu 0001 |
Statistical Debugging Using Latent Topic Models. |
ECML |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Valentin Dallmeier, Thomas Zimmermann 0001 |
Extraction of bug localization benchmarks from history. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
defect localization, benchmarking |
15 | Murali Krishna Ramanathan, Ananth Grama, Suresh Jagannathan |
Path-Sensitive Inference of Function Precedence Protocols. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Jean-Michel Dalle, Matthijs den Besten |
Different Bug Fixing Regimes? A Preliminary Case for Superbugs. (PDF / PS) |
OSS |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Brand, Marcio Buss, Vugranam C. Sreedhar |
Evidence-Based Analysis and Inferring Preconditions for Bug Detection. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Fu-Ching Yang, Wen-Kai Huang, Ing-Jer Huang |
Automatic Verification of External Interrupt Behaviors for Microprocessor Design. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
15 | Ahmed E. Hassan, Richard C. Holt |
Replaying development history to assess the effectiveness of change propagation tools. |
Empir. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Historical co-change, Static dependency, Source control systems, Mining software repositories, Change propagation |
15 | 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 |
15 | Diomidis Spinellis |
Debuggers and logging frameworks. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
logging framework, debugging, breakpoint |
15 | Peter Lamborn, Michael D. Jones |
January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. |
PPSN |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Joshua J. Bloch |
How to design a good API and why it matters. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
|
15 | David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen |
Decision Procedures for the Formal Analysis of Software. |
ICTAC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ilya Wagner, Valeria Bertacco, Todd M. Austin |
Depth-driven verification of simultaneous interfaces. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Francisca Emanuelle Vieira, Francisco Martins, Rafael Silva, Ronaldo Menezes, Márcio Braga |
On the Idea of Using Nature-Inspired Metaphors to Improve Software Testing. |
AIAI |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Xiangyu Zhang 0001, Sriraman Tallam, Rajiv Gupta 0001 |
Dynamic slicing long running programs through execution fast forwarding. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
debugging, checkpointing, replay, event logging, data slicing |
15 | Koen Claessen, Jan-Willem Roorda |
An Introduction to Symbolic Trajectory Evaluation. |
SFM |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Ilir Gashi, Peter T. Popov |
Rephrasing Rules for Off-The-Shelf SQL Database Servers. |
EDCC |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Bixin Li, Yancheng Wang, Lili Yang |
An Integrated Regression Testing Framework to Multi-Threaded Java Programs. |
SET |
2006 |
DBLP DOI BibTeX RDF |
Regression testing, Multi-threaded program, Reachability testing |
15 | Itai Yarom, Viji Patil |
Smart-Lint: Improving the Verification Flow. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Terence John Parr |
Web application internationalization and localization in action. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
template engines, localization, web applications, model-view-controller, internationalization |
15 | Ahmed E. Hassan, Ken Zhang |
Using Decision Trees to Predict the Certification Result of a Build. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Junfeng Yang, Can Sar, Paul Twohey, Cristian Cadar, Dawson R. Engler |
Automatically Generating Malicious Disks using Symbolic Execution. |
S&P |
2006 |
DBLP DOI BibTeX RDF |
|
15 | Mina Askari, Richard C. Holt |
Information theoretic evaluation of change prediction models for large-scale software. |
MSR |
2006 |
DBLP DOI BibTeX RDF |
evaluation approach, information theory, prediction models |
15 | Satish Narayanasamy, Cristiano Pereira, Brad Calder |
Recording shared memory dependencies using strata. |
ASPLOS |
2006 |
DBLP DOI BibTeX RDF |
strata, debugging, dependencies, shared memory, logging, replay |
15 | Allen Van Gelder |
Independently Checkable Proofs from Decision Procedures: Issues and Progress. |
LPAR |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Nithya Ramanathan, Kevin K. Chang, Rahul Kapur, Lewis Girod, Eddie Kohler, Deborah Estrin |
Sympathy for the sensor network debugger. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
failure localization, root causes, sensor networks, debugging, failure detection |
15 | W. Eric Wong, J. Jenny Li |
An Integrated Solution for Testing and Analyzing Java Applications in an Industrial Setting. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
eXVantage, JBT, program debugging, Code coverage, performance profiling, execution slicing |
15 | Tayfun Elmas, Serdar Tasiran, Shaz Qadeer |
VYRD: verifYing concurrent programs by runtime refinement-violation detection. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
refinement, runtime verification, concurrent data structures |
15 | Emmett Witchel, Junghwan Rhee, Krste Asanovic |
Mondrix: memory isolation for linux using mondriaan memory protection. |
SOSP |
2005 |
DBLP DOI BibTeX RDF |
fine-grained memory protection |
15 | Yuan Yu, Tom Rodeheffer, Wei Chen |
RaceTrack: efficient detection of data race conditions via adaptive tracking. |
SOSP |
2005 |
DBLP DOI BibTeX RDF |
virtual machine instrumentation, race detection |
15 | Jun Sun 0002, Wanghong Yuan, Mahesh Kallahalla, Nayeem Islam |
HAIL: a language for easy and correct device access. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
invariant specification and verification, register access, embedded systems, system-on-chip, software reuse, domain-specific languages, automatic code generation, device drivers |
15 | William W. Pugh |
Keynote talk: Advice to bug hunters. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Donglin Liang, Kai Xu 0002 |
Debugging object-oriented programs with behavior views. |
AADEBUG |
2005 |
DBLP DOI BibTeX RDF |
debugging language, secenario-driven, execution monitoring |
15 | Dalit Naor, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, Eitan Yaffe |
Benchmarking and Testing OSD for Correctness and Compliance. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Tatsuo Nakajima, Midori Sugaya, Shuichi Oikawa |
Oparating Systems For Building Robust Embedded SDystem. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
15 | David Saff, Shay Artzi, Jeff H. Perkins, Michael D. Ernst |
Automatic test factoring for java. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
15 | Neelam Gupta, Haifeng He, Xiangyu Zhang 0001, Rajiv Gupta 0001 |
Locating faulty code using failure-inducing chops. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
backward dynamic, failure-inducing input, forward dynamic program slicing, program slicing, automated debugging |
15 | Jean Goubault-Larrecq, Fabrice Parrennes |
Cryptographic Protocol Analysis on Real C Code. |
VMCAI |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Schwarz, Hao Chen 0003, David A. Wagner 0001, Jeremy Lin, Wei Tu, Geoff Morrison, Jacob West |
Model Checking An Entire Linux Distribution for Security Violations. |
ACSAC |
2005 |
DBLP DOI BibTeX RDF |
|
15 | Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet |
A generic micro-architectural test plan approach for microprocessor verification. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
generic test plan, test generation, coverage, micro-architecture, dynamic verification |
15 | Jim Shore |
Fail Fast. |
IEEE Softw. |
2004 |
DBLP DOI BibTeX RDF |
fail fast |
15 | David Saff, Michael D. Ernst |
Mock object creation for test factoring. |
PASTE |
2004 |
DBLP DOI BibTeX RDF |
test factoring, unit testing, mock objects |
15 | Emre Kycyman, Yi-Min Wang |
Discovering Correctness Constraints for Self-Management of System Configuration. |
ICAC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Ted Kremenek, Ken Ashcraft, Junfeng Yang, Dawson R. Engler |
Correlation exploitation in error ranking. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
error ranking, static analysis, program checking |
15 | Ghassan Chehaibar |
Integrating Formal Verification with Mur ? of Distributed Cache Coherence Protocols in FAME Multiprocessor System Design. |
FORTE |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Bernard J. Pope |
Declarative Debugging with Buddha. |
Advanced Functional Programming |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Pin Zhou, Feng Qin, Wei Liu 0014, Yuanyuan Zhou 0001, Josep Torrellas |
iWatcher: Efficient Architectural Support for Software Debugging. |
ISCA |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Jingyu Zhou, Giovanni Vigna |
Detecting Attacks That Exploit Application-Logic Errors Through Application-Level Auditing. |
ACSAC |
2004 |
DBLP DOI BibTeX RDF |
|
15 | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani |
Heuristics for Finding Concurrent Bug. |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Klaus Havelund, Scott D. Stoller, Shmuel Ur |
Benchmark and Framework for Encouraging Research on Multi-Threaded Testing Tools . |
IPDPS |
2003 |
DBLP DOI BibTeX RDF |
|
15 | Ben Liblit, Alexander Aiken, Alice X. Zheng, Michael I. Jordan |
Bug isolation via remote program sampling. |
PLDI |
2003 |
DBLP DOI BibTeX RDF |
bug isolation, feature selection, logistic regression, assertions, random sampling, statistical debugging |
15 | Reynald Affeldt, Naoki Kobayashi 0001 |
Formalization and Verification of a Mail Server in Coq. |
ISSS |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Glenn Ammons, Rastislav Bodík, James R. Larus |
Mining specifications. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Seth Hallem, Benjamin Chelf, Yichen Xie 0001, Dawson R. Engler |
A System and Language for Building System-Specific, Static Analyses. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
error detection, extensible compilation |
15 | Don Douglas Josephson |
The Manic Depression of Microprocessor Debug. |
ITC |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Rafael Ceballos, Rafael M. Gasca, Carmelo Del Valle, Miguel Toro |
Max-CSP Approach for Software Diagnosis. |
IBERAMIA |
2002 |
DBLP DOI BibTeX RDF |
|
15 | Pradip Bose |
Ensuring Dependable Processor Performance: An Experience Report on Pre-Silicon Performance Validation. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Bob Bentley |
alidating the Intel® Pentium® 4 Microprocessor. |
DSN |
2001 |
DBLP DOI BibTeX RDF |
|
15 | Matthew K. Franklin, Zvi Galil, Moti Yung |
Eavesdropping games: a graph-theoretic approach to privacy in distributed systems. |
J. ACM |
2000 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Aiken, Manuel Fähndrich, Zhendong Su 0001 |
Detecting races in Relay Ladder Logic programs. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Verification, Testing, Static analysis, Constraints, Software |
15 | Zhenyu Qian, Allen Goldberg, Alessandro Coglio |
A formal specification of JavaTM class loading. |
OOPSLA |
2000 |
DBLP DOI BibTeX RDF |
Java |
15 | Sotiris Skevoulis, Xiaoping Jia |
Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. |
TOOLS (37) |
2000 |
DBLP DOI BibTeX RDF |
generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs |
15 | Phillip B. Gibbons, Yossi Matias, Vijaya Ramachandran |
Can a Shared-Memory Model Serve as a Bridging Model for Parallel Computation? |
Theory Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Mingdong Feng, Charles E. Leiserson |
Efficient Detection of Determinacy Races in Cilk Programs. |
Theory Comput. Syst. |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoping Jia, Sotiris Skevoulis |
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Aiken, Manuel Fähndrich, Zhendong Su 0001 |
Detecting Races in Relay Ladder Logic Programs. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Fradet, Ronan Caugne, Daniel Le Métayer |
Static Detection of Pointer Errors: An Axiomatisation and a Checking Algorithm. |
ESOP |
1996 |
DBLP DOI BibTeX RDF |
|
15 | Mark W. Bailey, Jack W. Davidson |
Target-Sensitive Construction of Diagnostic Programs for Procedure Calling Sequence Generators. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
15 | David E. Evans 0001 |
Static Detection of Dynamic Memory Errors. |
PLDI |
1996 |
DBLP DOI BibTeX RDF |
|
15 | François Bourdoncle |
Abstract Debugging of Higher-Order Imperative Languages. |
PLDI |
1993 |
DBLP DOI BibTeX RDF |
Pascal |
15 | Sharon E. Perl, William E. Weihl |
Performance Assertion Checking. |
SOSP |
1993 |
DBLP DOI BibTeX RDF |
DEBUG, Parallel C |
15 | Moon-Chuen Lee |
An Augmented Prolog Programming Environment for Tutoring Applications. |
IEA/AIE (Vol. 2) |
1990 |
DBLP DOI BibTeX RDF |
Prolog |
15 | Jim Gray 0001 |
A View of Database System Performance Measures. |
SIGMETRICS |
1987 |
DBLP DOI BibTeX RDF |
|
15 | Hidehisa Takahashi, Etsuya Shibayama |
PRESET - A Debugging Environment for Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 2555 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|