|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 720 occurrences of 401 keywords
|
|
|
|
|
Results
Found 1044 publication records. Showing 1044 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Salvatore Guarnieri, Marco Pistoia, Omer Tripp, Julian Dolby, Stephen Teilhet, Ryan Berg |
Saving the world wide web from vulnerable JavaScript.  |
ISSTA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Corina S. Pasareanu, Neha Rungta, Willem Visser |
Symbolic execution with mixed concrete-symbolic solving. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Burger 0002, Andreas Zeller |
Minimizing reproduction of software failures. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sai Zhang 0001, David Saff, Yingyi Bu, Michael D. Ernst |
Combined static and dynamic automated test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | William N. Sumner, Tao Bao, Xiangyu Zhang 0001 |
Selecting peers for execution comparison. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cindy Rubio-González, Ben Liblit |
Defective error/pointer interactions in the Linux kernel. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Pradel, Thomas R. Gross |
Detecting anomalies in the order of equally-typed method arguments. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaideep Nijjar, Tevfik Bultan |
Bounded verification of Ruby on Rails data models. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Godefroid, Daniel Luchaup |
Automatic partial loop summarization in dynamic test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhiqiang Zhang 0007, Jian Zhang 0001 |
Characterizing failure-causing parameter interactions by adaptive testing. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthew J. McGill, Laura K. Dillon, R. E. Kurt Stirewalt |
Scalable analysis of conceptual data models. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Le, Mary Lou Soffa |
Generating analyses for detecting faults in path segments. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeff Huang 0001, Charles Zhang 0001 |
Persuasive prediction of concurrency access anomalies. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Vilas Jagannath, Qingzhou Luo, Darko Marinov |
Change-aware preemption prioritization. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Akbar Siami Namin, Sahitya Kakarla |
The use of mutation in testing experiments and its sensitivity to external threats. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Itai Segall, Rachel Tzoref-Brill, Eitan Farchi |
Using binary decision diagrams for combinatorial test design. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Emine Dumlu, Cemal Yilmaz 0001, Myra B. Cohen, Adam A. Porter |
Feedback driven adaptive combinatorial testing. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Domagoj Babic, Lorenzo Martignoni, Stephen McCamant, Dawn Song |
Statically-directed dynamic automated test generation. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tristan Oliver Richard Allwood, Cristian Cadar, Susan Eisenbach |
High coverage testing of Haskell programs. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas DiGiuseppe, James A. Jones |
On the influence of multiple faults on coverage-based fault localization. |
ISSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia |
Directed test generation for effective fault localization. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
testing web applications, automated testing, concolic testing |
| 1 | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson |
ASSURE: automated support for secure and usable requirements engineering. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
security requirements-based testing, security requirements, usable requirements |
| 1 | Zhen Ming Jiang |
Automated analysis of load testing results. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
software mining, dynamic analysis, load testing |
| 1 | Enyi Tang, Earl T. Barr, Xuandong Li, Zhendong Su 0001 |
Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
testing, stability, floating-point, perturbation, numerical code |
| 1 | Raúl A. Santelices, Mary Jean Harrold |
Exploiting program dependencies for scalable multiple-path symbolic execution. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
invariant detection, modular analysis, path family, test suite augmentation, verification, program analysis, test generation, data dependence, symbolic execution, control dependence, change analysis, path sensitive analysis, path condition |
| 1 | Roberto Paleari, Lorenzo Martignoni, Giampaolo Fresi Roglia, Danilo Bruschi |
N-version disassembly: differential testing of x86 disassemblers. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
differential testing, software testing, automatic test generation |
| 1 | George K. Baah, Andy Podgurski, Mary Jean Harrold |
Causal inference for statistical fault localization. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
potential outcome model, debugging, program analysis, fault localization, causal inference |
| 1 | Yi Wei 0001, Yu Pei 0001, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer 0001, Andreas Zeller |
Automated fixing of programs with contracts. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
automatic debugging, automatic fixing, dynamic invariants, program synthesis |
| 1 | Brett Daniel, Tihomir Gvero, Darko Marinov |
On test repair using symbolic execution. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
pex, reassert, symbolic test repair, test repair, symbolic execution |
| 1 | Matt Staats, Corina S. Pasareanu |
Parallel symbolic execution for structural test generation. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
parallel, symbolic execution, java pathfinder |
| 1 | Andrea Arcuri, Muhammad Zohaib Z. Iqbal, Lionel C. Briand |
Formal analysis of the effectiveness and predictability of random testing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
coupon collector, schur function, predictability, theory, random testing |
| 1 | Tao Bao, Yunhui Zheng, Zhiqiang Lin, Xiangyu Zhang 0001, Dongyan Xu |
Strict control dependence and its effect on dynamic information flow analyses. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dynamic information flow, strict control dependence, data dependence, control dependence, taint analysis |
| 1 | Natalie Gruska, Andrzej Wasylkowski, Andreas Zeller |
Learning from 6, 000 projects: lightweight cross-project anomaly detection. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
language independent parsing, lightweight parsing, mining specifications, formal concept analysis, temporal properties |
| 1 | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
Testing system virtual machines. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
software testing, virtualization, emulation, automatic test generation, fuzzing |
| 1 | Hojun Jaygarl, Sunghun Kim 0001, Tao Xie 0001, Carl K. Chang |
OCAT: object capture-based automated testing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
object capturing, object generation, object mutation, automated testing |
| 1 | Vesa Kettunen, Jussi Kasurinen, Ossi Taipale, Kari Smolander |
A study on agility and testing processes in software organizations. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
empirical study, case study, agile development, test process |
| 1 | Thomas J. Ostrand, Elaine J. Weyuker |
Software fault prediction tool. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
gui tool, negative binomial, prediction, fault, defect |
| 1 | Taeho Kwon, Zhendong Su 0001 |
Automatic detection of unsafe component loadings. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
unsafe component loading, dynamic analysis |
| 1 | Patrice Godefroid, Johannes Kinder |
Proving memory safety of floating-point computations by combining static and dynamic program analysis. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
static and dynamic program analysis, program verification |
| 1 | Valentin Dallmeier, Nikolai Knopp, Christoph Mallon, Sebastian Hack, Andreas Zeller |
Generating test cases for specification mining. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
typestate analysis, test case generation, specification mining |
| 1 | Dasarath Weeratunge, Xiangyu Zhang 0001, William N. Sumner, Suresh Jagannathan |
Analyzing concurrency bugs using dual slicing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dual slicing, concurrency bugs, execution indexing |
| 1 | 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 |
| 1 | Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias |
Analysis of invariants for efficient bounded verification. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
dynalloy, kodkod, sat-based code analysis, static analysis, alloy |
| 1 | Gordon Fraser 0001, Andreas Zeller |
Mutation-driven generation of unit tests and oracles. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing |
| 1 | Michael Carbin, Martin C. Rinard |
Automatically identifying critical input regions and code in applications. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
critical code, critical input, forgiving code, forgiving input |
| 1 | Kinga Dobolyi, Westley Weimer |
Modeling consumer-perceived web application fault severities for testing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
web application, fault, severity |
| 1 | Paolo Tonella, Alessandro Orso (eds.) |
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, ISSTA 2010, Trento, Italy, July 12-16, 2010 |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Akbar Siami Namin, James H. Andrews |
The influence of size and coverage on test suite effectiveness. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
statistical analysis, coverage criteria |
| 1 | Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick |
Advanced code coverage analysis using substring holes. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
software testing, coverage analysis |
| 1 | Lingxiao Jiang, Zhendong Su 0001 |
Automatic mining of functionally equivalent code fragments via random testing. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
random testing, code clones, functional equivalence |
| 1 | Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song |
Loop-extended symbolic execution on binary programs. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
loop summaries, vulnerability discovery and diagnosis |
| 1 | Adam Kiezun, Vijay Ganesh, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst |
HAMPI: a solver for string constraints. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
string constraints, regular languages, context-free languages |
| 1 | Anton Babenko, Leonardo Mariani, Fabrizio Pastore |
AVA: automated interpretation of dynamically detected anomalies. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
anomaly detection, dynamic analysis |
| 1 | Bin Xin 0001, Xiangyu Zhang 0001 |
Memory slicing. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
data-centric slicing, memory dependence graph, fault localization, dynamic program slicing |
| 1 | Zachary Stengel, Tevfik Bultan |
Analyzing singularity channel contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
conversations, asynchronous communication, realizability |
| 1 | David Schuler, Valentin Dallmeier, Andreas Zeller |
Efficient mutation testing by checking invariant violations. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic invariants, mutation testing |
| 1 | Christian Murphy, Kuang Shen, Gail E. Kaiser |
Automatic system testing of programs without test oracles. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
software testing, metamorphic testing, oracle problem |
| 1 | William G. J. Halfond, Saswat Anand, Alessandro Orso |
Precise interface identification to improve testing and analysis of web applications. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
interface identification, web application testing |
| 1 | Martin Th Görg, Jianjun Zhao 0001 |
Identifying semantic differences in AspectJ programs. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
aop, difference analysis, disjunctive matching, static analysis, aspectj, semantic analysis |
| 1 | James A. Clause, Alessandro Orso |
Penumbra: automatically identifying failure-relevant inputs using dynamic tainting. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic information flow, failure-relevant inputs, automated debugging, dynamic tainting |
| 1 | Gregg Rothermel, Laura K. Dillon (eds.) |
Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009 |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Zhang 0023, Shan-Shan Hou, Chao Guo, Tao Xie 0001, Hong Mei 0001 |
Time-aware test-case prioritization using integer linear programming. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
integer linear programming, test-case prioritization |
| 1 | Shin Yoo, Mark Harman, Paolo Tonella, Angelo Susi |
Clustering test cases to achieve effective and scalable prioritisation incorporating expert knowledge. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
ahp, test case prioritisation, clustering |
| 1 | Saurabh Sinha, Hina Shah, Carsten Görg, Shujuan Jiang, Mijung Kim, Mary Jean Harrold |
Fault localization and repair for Java runtime exceptions. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
null dereference, runtime exceptions, static analysis, fault localization |
| 1 | Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel J. Quinlan, Zhendong Su 0001 |
Detecting code clones in binary executables. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
software tools, clone detection, binary analysis |
| 1 | Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer 0001 |
A comparative study of programmer-written and automatically inferred contracts. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic contract inference, eiffel |
| 1 | Charles Pecheur, Franco Raimondi, Guillaume Brat |
A formal analysis of requirements-based testing. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
requirements-based testing, coverage metrics |
| 1 | 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 |
| 1 | Sandro Fouché, Myra B. Cohen, Adam A. Porter |
Incremental covering array failure characterization in large configuration spaces. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
testing, distributed testing |
| 1 | Jewgenij Botaschanjan, Benjamin Hummel |
Specifying the worst case: orthogonal modeling of hardware errors. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
af/stem case tool, error filters, error mode specification, modelling hardware errors, error models |
| 1 | Lorenzo Martignoni, Roberto Paleari, Giampaolo Fresi Roglia, Danilo Bruschi |
Testing CPU emulators. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
software testing, emulation, automatic test generation, fuzzing |
| 1 | Martin Bravenboer, Yannis Smaragdakis |
Exception analysis and points-to analysis: better together. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
exception handling, precision, context-sensitive, points-to analysis |
| 1 | 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 |
| 1 | Hyunsook Do, Gregg Rothermel |
Using sensitivity analysis to create simplified economic models for regression testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
empirical studies, sensitivity analysis, regression testing, test case prioritization, economic models, regression test selection |
| 1 | Bassem Elkarablieh, Darko Marinov, Sarfraz Khurshid |
Efficient solving of structural constraints. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
model checking, backtracking, systematic testing |
| 1 | Matthew M. Papi, Mahmood Ali, Telmo Luis Correa Jr., Jeff H. Perkins, Michael D. Ernst |
Practical pluggable types for java. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
igj, javari, pluggable type, java, verification, compiler, annotation, case study, type system, polymorphism, intern, type qualifier, bug finding, flow sensitivity, readonly, immutable, nonnull, javac |
| 1 | Raymond P. L. Buse, Westley Weimer |
A metric for software readability. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software readability, machine learning, software maintenance, program understanding, FindBugs, code metrics |
| 1 | Yamini Kannan, Koushik Sen |
Universal symbolic execution and its application to likely data structure invariant generation. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, execution traces, logical inference, program invariants |
| 1 | Sriram Sankaranarayanan 0001, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta |
Dynamic inference of likely data preconditions over predicates by tree learning. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
machine learning, verification, decision trees, sat, software specification |
| 1 | George K. Baah, Andy Podgurski, Mary Jean Harrold |
The probabilistic program dependence graph and its application to fault diagnosis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
machine learning, fault diagnosis, program analysis, probabilistic graphical models |
| 1 | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |
Proofs from tests. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
abstraction refinemen, software model checking, directed testing |
| 1 | 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 |
| 1 | Rüdiger Lincke, Jonas Lundberg, Welf Löwe |
Comparing software metrics tools. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
comparing tools, software quality metrics |
| 1 | Shmuel Ur, Scott D. Stoller, Eitan Farchi |
6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
testing, parallel, concurrent, debugging, distributed, multi-threaded |
| 1 | Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape |
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
unit testing, symbolic execution, software model checking, system testing |
| 1 | Chen Tian 0002, Vijay Nagarajan, Rajiv Gupta 0001, Sriraman Tallam |
Dynamic recognition of synchronization operations for improved data race detection. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
synchronization and infeasible races, data races, record and replay |
| 1 | Guoqing Xu 0001, Atanas Rountev |
Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
pointer analysis, context sensitivity, points-to analysis |
| 1 | Xiao Qu, Myra B. Cohen, Gregg Rothermel |
Configuration-aware regression testing: an empirical study of sampling and prioritization. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
regression testing, prioritization, combinatorial interaction testing, configurable software |
| 1 | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
Effective and scalable software compatibility testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software compatibility testing, component-based software system |
| 1 | Goh Kondoh, Tamiya Onodera |
Finding bugs in java native interface programs. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
typestate analysis, static analysis, java native interface |
| 1 | Alex Edwards, Sean Tucker, Sébastien Worms, Rahul Vaidya, Brian Demsky |
AFID: an automated fault identification tool. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
fault collection |
| 1 | Ben Liblit, Atanas Rountev |
WODA 2008: the sixth international workshop on dynamic analysis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution |
| 1 | Tevfik Bultan, Tao Xie 0001 |
Workshop on testing, analysis and verification of web software (TAV-WEB 2008). |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
web services, web applications |
| 1 | Raymond P. L. Buse, Westley Weimer |
Automatic documentation inference for exceptions. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
documentation inference, exception handling, software documentation |
| 1 | Barbara G. Ryder, Andreas Zeller (eds.) |
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008 |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ru-Gang Xu, Patrice Godefroid, Rupak Majumdar |
Testing for buffer overflows with length abstraction. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
length abstractions, underapproximation, buffer overflows, testing c programs, directed testing |
| 1 | Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, Danny Dig, Amit M. Paradkar, Michael D. Ernst |
Finding bugs in dynamic web applications. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software testing, web applications, dynamic analysis, php |
| 1 | Dennis Jeffrey, Neelam Gupta, Rajiv Gupta 0001 |
Fault localization using value replacement. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
interesting value mapping pair, value replacement, fault localization, automated debugging |
| 1 | Carlos Pacheco, Shuvendu K. Lahiri, Thomas Ball |
Finding errors in .net with feedback-directed random testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
random testing |
| 1 | Eric Bodden, Klaus Havelund |
Racer: effective race detection using aspectj. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
static analysis, aspect-oriented programming, runtime verification, race detection, semantic pointcuts |
Displaying result #701 - #800 of 1044 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license