|
|
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 |
21 | Erik Jan Marinissen |
Bugs, moths, grasshoppers, and whales. |
IEEE Des. Test Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Hossain Shahriar, Mohammad Zulkernine |
Mutation-Based Testing of Format String Bugs. |
HASE |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Sung-Young Jung, Kurt VanLehn |
Bi-directional Search for Bugs: A Tool for Accelerating Knowledge Acquisition for Equation-Based Tutoring Systems. |
Intelligent Tutoring Systems |
2008 |
DBLP DOI BibTeX RDF |
Bi-directional search, automatic error detection on knowledge, authoring tools |
21 | Julian Dolby, Mandana Vaziri, Frank Tip |
Finding bugs efficiently with a SAT solver. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
model checking, specification, slicing, SAT solving |
21 | Adrian Schröter, Thomas Zimmermann 0001, Rahul Premraj, Andreas Zeller |
Where do bugs come from? |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens |
Improving your software using static analysis to find bugs. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
Java, static analysis, FindBugs |
21 | Yosi Ben-Asher, Eitan Farchi, Yaniv Eytani, Shmuel Ur |
Noise Makers Need to Know Where to be Silent - Producing Schedules That Find Bugs. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Marco D'Ambros, Michele Lanza |
Software Bugs and Evolution: A Visual Approach to Uncover Their Relationship. |
CSMR |
2006 |
DBLP DOI BibTeX RDF |
|
21 | M. Erkan Keremoglu, Serdar Tasiran, Tayfun Elmas |
A classification of concurrency bugs in java benchmarks by developer intent. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
concurrency errors, verification, refinement, atomicity, race condition |
21 | Christopher Gottbrath |
S09 - Eliminating parallel application memory bugs with TotalView. |
SC |
2006 |
DBLP DOI BibTeX RDF |
|
21 | Alice X. Zheng, Michael I. Jordan, Ben Liblit, Mayur Naik, Alex Aiken |
Statistical debugging: simultaneous identification of multiple bugs. |
ICML |
2006 |
DBLP DOI BibTeX RDF |
|
21 | William E. Howden |
Software Test Selection Patterns and Elusive Bugs. |
COMPSAC (1) |
2005 |
DBLP DOI BibTeX RDF |
elusive, models, design, Testing, patterns, defects |
21 | Adil Alsaid, David M. Martin Jr. |
Detecting Web Bugs with Bugnosis: Privacy Advocacy through Education. |
Privacy Enhancing Technologies |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Dawson R. Engler, David Yu Chen, Andy Chou |
Bugs as Deviant Behavior: A General Approach to Inferring Errors in Systems Code. |
SOSP |
2001 |
DBLP DOI BibTeX RDF |
|
21 | Cristinel Mateis, Markus Stumptner, Franz Wotawa |
Locating Bugs in Java Programs - First Results of the Java Diagnosis Experiment Project. |
IEA/AIE |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Linda Dailey Paulson |
Libraries Face the Challenge of Archiving Digital Material. |
Computer |
2010 |
DBLP DOI BibTeX RDF |
born digital content, Dimmunix, piezoelectric, lead zirconate titanate, Alzheimer's Association, GPS, deadlocks, libraries, digital forensics, archive, Alzheimer's disease, software bugs |
18 | Umer Farooq, León Welicki, Dieter Zirkler |
API usability peer reviews: a method for evaluating the usability of application programming interfaces. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
api usability, usability breakdowns, usability evaluation method (uem), usability inspection, software bugs |
18 | Nathaniel Ayewah, William W. Pugh |
The Google FindBugs fixit. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
java, static analysis, software quality, bugs, false positives, software defects, findbugs, bug patterns |
18 | Amruth N. Kumar |
Data space animation for learning the semantics of C++ pointers. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
c++ pointer, data space, visualization, evaluation, animation, effectiveness, explanation, bugs, web-based tutor |
18 | Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Jiawei Han 0001, Hossein Ahmadi 0001 |
Finding Symbolic Bug Patterns in Sensor Networks. |
DCOSS |
2009 |
DBLP DOI BibTeX RDF |
symbolic pattern, interactive bugs, wireless sensor network |
18 | Craig Henderson |
Managing software defects: defect analysis and traceability. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
radial charts, software builds, metrics, software quality, bugs, defect analysis, defect management |
18 | Stefan Wagner 0001 |
Defect classification and defect types revisited. |
DEFECTS |
2008 |
DBLP DOI BibTeX RDF |
defect taxonomy, defect types, faults, defects, bugs, defect classification |
18 | Nathaniel Ayewah, William W. Pugh |
A report on a survey and study of static analysis users. |
DEFECTS |
2008 |
DBLP DOI BibTeX RDF |
Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns |
18 | Sridhar Joshi, Ravi Perumal, Kamesh V. Gadepally, Mark Young |
An Approach for a Comprehensive QA Methodology for the PDKs. |
ISQED |
2008 |
DBLP DOI BibTeX RDF |
PDK, Test structures, Quality, Regression, categorization, Matrix, Bugs |
18 | Jan Ploski, Matthias Rohr, Peter Schwenkenberg, Wilhelm Hasselbring |
Research issues in software fault categorization. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
injection of software faults, software fault categorization, software reliability, bugs, software faults |
18 | Jeffrey S. Foster, Michael W. Hicks, William W. Pugh |
Improving software quality with static analysis. |
PASTE |
2007 |
DBLP DOI BibTeX RDF |
FFIs, Java, software quality, C, modularity, network protocols, data races, bugs, bug patterns |
18 | Daniel J. Bernstein |
Some thoughts on security after ten years of qmail 1.0. |
CSAW |
2007 |
DBLP DOI BibTeX RDF |
eliminating bugs, eliminating code, eliminating trusted code |
18 | Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler, John Penix, YuQian Zhou |
Using FindBugs on production software. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, static analysis, software quality, Google, bugs, false positives, software defects, FindBugs, bug patterns |
18 | David Hovemeyer, William W. Pugh |
Status report on JSR-305: annotations for software defect detection. |
OOPSLA Companion |
2007 |
DBLP DOI BibTeX RDF |
Java, specifications, static analysis, software quality, bugs |
18 | Göran Krampe |
Advanced issue tracker in smalltalk. |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
ODBMS, continations, issue tracker, workflow, Smalltalk, Ajax, bugs, forms |
18 | Peter Weißgerber, Stephan Diehl 0001, Carsten Görg |
Mining refactorings in ARGOUML. |
MSR |
2006 |
DBLP DOI BibTeX RDF |
mails, evolution, refactoring, bugs, re-engineering |
18 | Stamatis Vassiliadis, George Triantafyllos, Walid Kobrosly |
Establishing the Relevancy of the Bookkeeping Libraries to the Functional Testing of Computer Implementations. |
IEEE Trans. Knowl. Data Eng. |
1997 |
DBLP DOI BibTeX RDF |
error data, error prediction models, software reliability, errors, faults, Functional testing, bugs, data accuracy |
18 | Matthew K. Franklin, Zvi Galil, Moti Yung |
Eavesdropping Games: A Graph-Theoretic Approach to Privacy in Distributed Systems |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
eavesdropping games, mobile eavesdroppers, secure message transmission, distributed database maintenance, privacy maintenance problems, privacy, distributed systems, computational complexity, protocols, bugs, graph-theoretic approach |
15 | Shin Nakajima 0001 |
Semi-automated diagnosis of FODA feature diagram. |
SAC |
2010 |
DBLP DOI BibTeX RDF |
FODA feature diagram, graph slicing, satisfiability checking |
15 | Silvia Breu, Rahul Premraj, Jonathan Sillito, Thomas Zimmermann 0001 |
Information needs in bug reports: improving cooperation between developers and users. |
CSCW |
2010 |
DBLP DOI BibTeX RDF |
question time, response rate, response time, information needs, questions, bug reports |
15 | Patrice Godefroid, Aditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali |
Compositional may-must program analysis: unleashing the power of alternation. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
software model checking, abstraction refinement, directed testing |
15 | Valentina Grigoreanu, Margaret M. Burnett, George G. Robertson |
A strategy-centric approach to the design of end-user debugging tools. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
debugging strategies, tool design, end-user software engineering, debugging tools |
15 | Zvonimir Rakamaric |
STORM: static unit checking of concurrent programs. |
ICSE (2) |
2010 |
DBLP DOI BibTeX RDF |
unit checking, static analysis, concurrent programs |
15 | Cristian Zamfir, George Candea |
Execution synthesis: a technique for automated software debugging. |
EuroSys |
2010 |
DBLP DOI BibTeX RDF |
symbolic execution, automated debugging |
15 | Brandon Lucia, Luis Ceze, Karin Strauss |
ColorSafe: architectural support for debugging and dynamically avoiding multi-variable atomicity violations. |
ISCA |
2010 |
DBLP DOI BibTeX RDF |
bug avoidance, concurrency errors, data coloring, multi-variable, debugging, atomicity violations |
15 | Ding Yuan 0004, Haohui Mai, Weiwei Xiong, Lin Tan 0001, Yuanyuan Zhou 0001, Shankar Pasupathy |
SherLog: error diagnosis by connecting clues from run-time logs. |
ASPLOS |
2010 |
DBLP DOI BibTeX RDF |
failure diagnostics, static analysis, log |
15 | Subhasish Mitra, Sanjit A. Seshia, Nicola Nicolici |
Post-silicon validation opportunities, challenges and recent advances. |
DAC |
2010 |
DBLP DOI BibTeX RDF |
post-silicon validation |
15 | Achita Muthitacharoen, Khawaja Asjad Saeed |
Examining user involvement in continuous software development: (a case of error reporting system). |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs. |
CAV |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Myoungkyu Song, Eli Tilevich |
The anti-goldilocks debugger: helping the average bear debug transparently transformed programs. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
bytecode enhancement, debugging, program transformation |
15 | Loris Gaio, Matthijs den Besten, Alessandro Rossi 0001, Jean-Michel Dalle |
Wikibugs: using template messages in open content collections. |
Int. Sym. Wikis |
2009 |
DBLP DOI BibTeX RDF |
bug fixing, commons based peer production, template messages, coordination, Wiki, quality, Wikipedia, survival analysis |
15 | Valentina Grigoreanu, James N. Brundage, Eric Bahna, Margaret M. Burnett, Paul ElRif, Jeffrey Snover |
Males' and Females' Script Debugging Strategies. |
IS-EUD |
2009 |
DBLP DOI BibTeX RDF |
Debugging Strategies, Debugging, Gender, Scripting |
15 | Vijay Nagarajan, Dennis Jeffrey, Rajiv Gupta 0001 |
Self-recovery in server programs. |
ISMM |
2009 |
DBLP DOI BibTeX RDF |
memory propagation, self cleansing, self recovery |
15 | Adrian Nistor, Darko Marinov, Josep Torrellas |
Light64: lightweight hardware support for data race detection during systematic testing of parallel programs. |
MICRO |
2009 |
DBLP DOI BibTeX RDF |
execution history hash, data race, systematic testing |
15 | Andrew DeOrio, Ilya Wagner, Valeria Bertacco |
Dacota: Post-silicon validation of the memory subsystem in multi-core designs. |
HPCA |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Patrice Godefroid |
Software Model Checking Improving Security of a Billion Computers. |
SPIN |
2009 |
DBLP DOI BibTeX RDF |
|
15 | David Lo 0001, Hong Cheng 0001, Jiawei Han 0001, Siau-Cheng Khoo, Chengnian Sun |
Classification of software behaviors for failure detection: a discriminative pattern mining approach. |
KDD |
2009 |
DBLP DOI BibTeX RDF |
closed unique patterns, iterative patterns, pattern-based classification, sequential database, failure detection, software behaviors |
15 | Lin Chen 0015, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou |
A Constraint Based Bug Checking Approach for Python. |
COMPSAC (2) |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Christian Bird, Adrian Bachmann, Eirik Aune, John Duffy, Abraham Bernstein, Vladimir Filkov, Premkumar T. Devanbu |
Fair and balanced?: bias in bug-fix datasets. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
bias |
15 | Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani |
Darwin: an approach for debugging evolving programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
debugging, software evolution, symbolic execution |
15 | Cindy Rubio-González, Haryadi S. Gunawi, Ben Liblit, Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-Dusseau |
Error propagation analysis for file systems. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
copy constant propagation, interprocedural dataflow analysis, weighted pushdown systems, binary decision diagrams, static program analysis |
15 | Kevin J. Hoffman, Patrick Eugster, Suresh Jagannathan |
Semantics-aware trace analysis. |
PLDI |
2009 |
DBLP DOI BibTeX RDF |
semantic tracing, trace views, tracing, testing tools, automated debugging, debugging aids |
15 | Stephanie Forrest, ThanhVu Nguyen, Westley Weimer, Claire Le Goues |
A genetic programming approach to automated software repair. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
software repair, software engineering, genetic programming |
15 | Sergio Gandini, Danilo Ravotto, Walter Ruzzarin, Ernesto Sánchez 0001, Giovanni Squillero, Alberto Paolo Tonda |
Automatic detection of software defects: an industrial experience. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, software testing, mobile phones, power consumption |
15 | Michele Sama, Julian Harty |
Using code instrumentation to enhance testing on J2ME: a lesson learned with JInjector. |
HotMobile |
2009 |
DBLP DOI BibTeX RDF |
Java 2 micro edition, testing, instrumentation, code coverage |
15 | Hong Cheng 0001, David Lo 0001, Yang Zhou 0001, Xiaoyin Wang, Xifeng Yan |
Identifying bug signatures using discriminative graph mining. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
bug signature, discriminative subgraph mining |
15 | Bassem Elkarablieh, Patrice Godefroid, Michael Y. Levin |
Precise pointer reasoning for dynamic test generation. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
pointer reasoning, software testing, program verification, automatic test generation |
15 | Jacob Burnim, Sudeep Juvekar, Koushik Sen |
WISE: Automated test generation for worst-case complexity. |
ICSE |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Héla Masmoudi, Matthijs den Besten, Claude de Loupy, Jean-Michel Dalle |
"Peeling the Onion". (PDF / PS) |
OSS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Rotem Oshman |
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking. |
VMCAI |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Minoru Kuribayashi |
A study of traceability of CDMA-based fingerprinting scheme. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
iterative detection, fingerprinting, collusion attack |
15 | Ansgar Fehnker, Ralf Huuck, Bastian Schlich, Michael Tapp |
Automatic Bug Detection in Microcontroller Software by Static Program Analysis. |
SOFSEM |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Nathaniel Ayewah, William W. Pugh |
Learning from defect removals. |
MSR |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
Safe Runtime Verification of Real-Time Properties. |
FORMATS |
2009 |
DBLP DOI BibTeX RDF |
|
15 | Martin Dimitrov, Huiyang Zhou |
Anomaly-based bug prediction, isolation, and validation: an automated approach for software debugging. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
automated debugging, architectural support |
15 | Stelios Sidiroglou, Oren Laadan, Carlos Perez, Nicolas Viennot, Jason Nieh, Angelos D. Keromytis |
ASSURE: automatic software self-healing using rescue points. |
ASPLOS |
2009 |
DBLP DOI BibTeX RDF |
binary patching, chekpoint restart, reliable software, software self-healing, error recovery |
15 | Chi-Neng Wen, Shu-Hsuan Chou, Tien-Fu Chen, Alan Peisheng Su |
NUDA: a non-uniform debugging architecture and non-intrusive race detection for many-core. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
architecture, debugging, many-core, race detection |
15 | William N. Sumner, Xiangyu Zhang 0001 |
Algorithms for Automatically Computing the Causal Paths of Failures. |
FASE |
2009 |
DBLP DOI BibTeX RDF |
debugging, automated debugging, execution indexing |
15 | Fu-Ching Yang, Wen-Kai Huang, Jing-Kun Zhong, Ing-Jer Huang |
Automatic Verification of External Interrupt Behaviors for Microprocessor Design. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sunghun Kim 0001, E. James Whitehead Jr., Yi Zhang 0001 |
Classifying Software Changes: Clean or Buggy? |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Data mining, Clustering, Software maintenance, Configuration Management, classification and association rules, Metrics/Measurement |
15 | Tahina Ramananandro |
Mondex , an electronic purse: specification and refinement checks with the Alloy model-finding method. |
Formal Aspects Comput. |
2008 |
DBLP DOI BibTeX RDF |
Model-finding, Mondex electronic purse, Refinement, Alloy, Security properties |
15 | Haihao Shen, Sai Zhang 0001, Jianjun Zhao 0001, Jianhong Fang, Shiyuan Yao |
XFindBugs: eXtended FindBugs for AspectJ. |
PASTE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sebastian Burckhardt, Madanlal Musuvathi |
Effective Program Verification for Relaxed Memory Models. |
CAV |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ayla Dantas |
Improving developers' confidence in test results of multi-threaded systems: avoiding early and late assertions. |
OOPSLA Companion |
2008 |
DBLP DOI BibTeX RDF |
multi-threaded systems testing, aspect-oriented programming, software monitoring |
15 | Ho Fai Ko, Nicola Nicolici |
Automated Trace Signals Identification and State Restoration for Improving Observability in Post-Silicon Validation. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Kaiyu Chen, Sharad Malik, Priyadarsan Patra |
Runtime validation of memory ordering using constraint graph checking. |
HPCA |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Shaz Qadeer |
The Case for Context-Bounded Verification of Concurrent Programs. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Stacy K. Lukins, Nicholas A. Kraft, Letha H. Etzkorn |
Source Code Retrieval for Bug Localization Using Latent Dirichlet Allocation. |
WCRE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Boya Sun, Ray-Yaung Chang, Xianghao Chen, Andy Podgurski |
Automated Support for Propagating Bug Fixes. |
ISSRE |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Niclas Finne, Joakim Eriksson, Adam Dunkels, Thiemo Voigt |
Experiences from Two Sensor Network Deployments - Self-monitoring and Self-configuration Keys to Success. |
WWIC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Laurie Murphy, Gary Lewandowski, Renée McCauley, Beth Simon, Lynda Thomas, Carol Zander |
Debugging: the good, the bad, and the quirky -- a qualitative analysis of novices' strategies. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
debugging, pedagogy, strategies, novice programming |
15 | Lingxiao Jiang, Zhendong Su 0001 |
Profile-guided program simplification for effective testing and analysis. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
testing and analysis, profiling, statistical debugging, program simplification |
15 | Hyungwoo Kang |
Security Assessment Framework Using Static Analysis and Fault Injection. |
ICIC (1) |
2008 |
DBLP DOI BibTeX RDF |
RPC (Remote Procedure Call), Static analysis, Fault injection, Buffer overflow, Software security, Security assessment |
15 | Koushik Sen |
Race directed random testing of concurrent programs. |
PLDI |
2008 |
DBLP DOI BibTeX RDF |
concurrency, dynamic analysis, random testing, race detection |
15 | Mohammad Maifi Hasan Khan, Tarek F. Abdelzaher, Kamal Kant Gupta |
Towards Diagnostic Simulation in Sensor Networks. |
DCOSS |
2008 |
DBLP DOI BibTeX RDF |
diagnostic simulation, Sensor network, frequent pattern mining |
15 | Madan Musuvathi |
Systematic concurrency testing using CHESS. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
testing, concurrency, race conditions |
15 | Gary Wassermann, Dachuan Yu, Ajay Chander, Dinakar Dhurjati, Hiroshi Inamura, Zhendong Su 0001 |
Dynamic test input generation for web applications. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
directed random testing, web applications, automatic test generation, concolic testing |
15 | Gogul Balakrishnan, Thomas W. Reps |
Analyzing Stripped Device-Driver Executables. |
TACAS |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Ilya Wagner, Valeria Bertacco |
Reversi: Post-silicon validation system for modern microprocessors. |
ICCD |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Jianguo Chen, Hangxia Zhou, Stefan D. Bruda |
Combining Model Checking and Testing for Software Analysis. |
CSSE (2) |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Sascha Just, Rahul Premraj, Thomas Zimmermann 0001 |
Towards the next generation of bug tracking systems. |
VL/HCC |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Domagoj Babic, Alan J. Hu |
Calysto: scalable and precise extended static checking. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
formal verification, static analysis, static checking |
15 | Sangeetha Sudhakrishnan, Janaki T. Madhavan, E. James Whitehead Jr., Jose Renau |
Understanding bug fix patterns in verilog. |
MSR |
2008 |
DBLP DOI BibTeX RDF |
error classification, VHDL, verilog |
15 | David Lo 0001 |
Mining specifications in diversified formats from execution traces. |
ICSM |
2008 |
DBLP DOI BibTeX RDF |
|
15 | Olatunji Ruwase, Phillip B. Gibbons, Todd C. Mowry, Vijaya Ramachandran, Shimin Chen, Michael Kozuch, Michael P. Ryan |
Parallelizing dynamic information flow tracking. |
SPAA |
2008 |
DBLP DOI BibTeX RDF |
dynamic information flow tracking (dift), log-based monitoring, parallel algorithm, taint analysis, program monitoring |
Displaying result #201 - #300 of 2555 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|