|
|
|
|
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 | James R. Larus |
The real value of testing.  |
ISSTA  |
2008 |
DBLP DOI BibTeX RDF |
testing |
| 1 | Ben Liblit |
Cooperative debugging with five hundred million test cases. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
cooperative bug isolation, statistical debugging |
| 1 | Alexey Loginov, Eran Yahav, Satish Chandra 0001, Stephen Fink, Noam Rinetzky, Mangala Gowri Nanda |
Verifying dereference safety via expanding-scope analysis. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, specification inference |
| 1 | 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 |
| 1 | Darko Marinov, Wolfram Schulte |
Workshop on state-space exploration for automated testing (SSEAT 2008). |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
random exploration, genetic algorithms, model checking, symbolic execution, automated testing, constraint solving, state-space exploration |
| 1 | Nurit Dor, Tal Lev-Ami, Shay Litvak, Mooly Sagiv, Dror Weiss |
Customization change impact analysis for erp professionals via program slicing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
customization change impact analysis |
| 1 | Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna |
Are your votes really counted?: testing the security of real-world electronic voting systems. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
security testing, voting systems, dres |
| 1 | Ray-Yaung Chang, Andy Podgurski, Jiong Yang 0001 |
Finding what's not there: a new approach to revealing neglected conditions in software. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
automatic defect detection, frequent subgraph mining, mining software repositories, program dependences, frequent itemset mining |
| 1 | Myra B. Cohen, Matthew B. Dwyer, Jiangfan Shi |
Interaction testing of highly-configurable systems in the presence of constraints. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
constraints, SAT, covering arrays, combinatorial interaction testing |
| 1 | Tao Wang, Abhik Roychoudhury |
Hierarchical dynamic slicing. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
debugging, dynamic slicing, phase detection |
| 1 | Ken Koster |
Using portfolio theory for better and more consistent quality. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
portfolio software quality, testing, variability, effectiveness, economic models, diversification |
| 1 | Graham Hughes, Tevfik Bultan |
Interface grammars for modular software model checking. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
interface grammars, model checking, modular verification |
| 1 | Mark Harman, Phil McMinn |
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
royal road, genetic algorithms, hill climbing, evolutionary testing, schema theory, automated test data generation |
| 1 | James A. Clause, Wanchun Li, Alessandro Orso |
Dytan: a generic dynamic taint analysis framework. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
information flow, general framework, dynamic tainting |
| 1 | Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer 0001 |
Experimental assessment of random testing for object-oriented software. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
software testing, random testing, experimental evaluation |
| 1 | James A. Jones, Mary Jean Harrold, James F. Bowring |
Debugging in Parallel. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
execution clustering, empirical study, program analysis, fault localization, automated debugging |
| 1 | David S. Rosenblum, Sebastian G. Elbaum (eds.) |
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007 |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoxia Ren, Barbara G. Ryder |
Heuristic ranking of java program edits for fault localization. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
heuristic ranking, java, testing, debugging, fault localization, change impact analysis |
| 1 | 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 |
| 1 | Marcelo d'Amorim, Steven Lauterburg, Darko Marinov |
Delta execution for efficient state-space exploration of object-oriented programs. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
delta execution, model checking |
| 1 | Bruno Dufour, Barbara G. Ryder, Gary Sevitsky |
Blended analysis for performance understanding of framework-based applications. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
framework-intensive applications, program understandingperfor-mance, java, dataflow analysis, escape analysis |
| 1 | Sriraman Tallam, Chen Tian 0002, Rajiv Gupta 0001, Xiangyu Zhang 0001 |
Enabling tracing Of long-running multithreaded programs via dynamic execution reduction. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
dependence tracing, debugging, checkpointing, control flow, replay, event logging |
| 1 | Dawson R. Engler, Daniel Dunbar |
Under-constrained execution: making automatic code destruction easy and scalable. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
dynamic analysis, symbolic execution, bug finding |
| 1 | Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell |
Automating algorithms for the identification of fault-prone files. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
software testing, prediction, empirical study, software faults, regression model, fault-prone |
| 1 | Aaron Tomb, Guillaume P. Brat, Willem Visser |
Variably interprocedural program analysis for runtime error detection. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
can-test, generation, symbolic execution, defect detection |
| 1 | Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia |
Static specification mining using automata-based abstractions. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
static analysis, abstract interpretation, typestate, specification mining |
| 1 | Piramanayagam Arumuga Nainar, Ting Chen, Jake Rosin, Ben Liblit |
Statistical debugging using compound boolean predicates. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
debugging effort metrics, dynamic feedback analysis, statistical bug isolation, three-valued logic |
| 1 | Bin Xin 0001, Xiangyu Zhang 0001 |
Efficient online detection of dynamic control dependence. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
dynamic control dependence, dynamic information flow, dynamic post-dominance, irregular control flow, dynamic program slicing |
| 1 | Panagiotis Manolios, Daron Vroon 0001, Gayatri Subramanian |
Automating component-based system assembly. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
integrated modular avionics, pseudo-boolean satisfiability, system assembly problem, component-based software development |
| 1 | Tim Trew |
Chasing rainbows: improving software testing in the real world. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Emmi, Rupak Majumdar, Koushik Sen |
Dynamic test input generation for database applications. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
directed random testing, automatic test generation, database applications, concolic testing |
| 1 | Shin Yoo, Mark Harman |
Pareto efficient multi-objective test case selection. |
ISSTA |
2007 |
DBLP DOI BibTeX RDF |
multi-objective evolutionary algorithm, test case selection |
| 1 | Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke |
Using model checking with symbolic execution to verify parallel numerical programs. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
model checking, parallel programming, concurrency, MPI, message passing interface, high performance computing, symbolic execution, floating-point, spin, finite state verification, numerical program |
| 1 | Christoph Csallner, Yannis Smaragdakis |
DSD-Crasher: a hybrid analysis tool for bug finding. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
usability, static analysis, dynamic analysis, automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection |
| 1 | Oksana Tkachuk, Sreeranga P. Rajan |
Application of automated environment generation to commercial software. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
environment generation, modular model checking |
| 1 | Paolina Centonze, Gleb Naumovich, Stephen J. Fink, Marco Pistoia |
Role-Based access control consistency validation. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
security, Java, static analysis, RBAC, role-based access control, J2EE, Java EE |
| 1 | Willem Visser, Corina S. Pasareanu, Radek Pelánek |
Test input generation for java containers using state matching. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph R. Ruthruff, Sebastian G. Elbaum, Gregg Rothermel |
Experimental program analysis: a new program analysis paradigm. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
experimental program analysis, program analysis, experimentation |
| 1 | Kimmo Kiviluoma, Johannes Koskinen, Tommi Mikkonen |
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
software architecture, monitoring, aspectJ, behavioral profile |
| 1 | Raimondas Lencevicius, Edu Metz |
Performance assertions for mobile devices. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
performance, mobile devices, assertions |
| 1 | Brian Demsky, Michael D. Ernst, Philip J. Guo, Stephen McCamant, Jeff H. Perkins, Martin C. Rinard |
Inference and enforcement of data structure consistency specifications. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
data structure repair, dynamic invariant detection |
| 1 | Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek |
Automated testing of stochastic systems: a statistically grounded approach. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
software engineering, software testing, unit tests, hypothesis testing, stochastic algorithms |
| 1 | Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke |
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
assume-guarantee reasoning |
| 1 | Robert M. Bell, Thomas J. Ostrand, Elaine J. Weyuker |
Looking for bugs in all the right places. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
software testing, prediction, empirical study, software faults, regression model, fault-prone |
| 1 | Greta Yorsh, Thomas Ball, Mooly Sagiv |
Testing, abstraction, theorem proving: better together! |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria |
| 1 | Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson 0001 |
Modular verification of code with SAT. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
formal methods, formal verification, first-order logic, SAT, software model checking, alloy |
| 1 | Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller |
Coverage metrics for requirements-based testing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos |
TimeAware test suite prioritization. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, test prioritization, coverage testing |
| 1 | Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng |
The case for analysis preserving language transformation. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
language transformation, security, Java, verification, static analysis, C, language translation |
| 1 | Philip J. Guo, Jeff H. Perkins, Stephen McCamant, Michael D. Ernst |
Dynamic inference of abstract types. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
mixed-level analysis, values and variables, Java, interaction, C++, C, dynamic analysis, type inference, abstract types, units |
| 1 | Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay |
Effective typestate verification in the presence of aliasing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
program verification, alias analysis, typestate |
| 1 | Lori L. Pollock, Mauro Pezzè (eds.) |
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006 |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dick Hamlet |
Subdomain testing of units and systems with state. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
persistent state, unit/system testing, testing theory |
| 1 | Phil McMinn, Mark Harman, David W. Binkley, Paolo Tonella |
The species per path approach to SearchBased test data generation. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
testability transformation, evolutionary testing, search-based software engineering, automated test data generation |
| 1 | Stefan Wagner 0001 |
A model and sensitivity analysis of the quality economics of defect-detection techniques. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
cost/benefit, quality costs, software quality economics, sensitivity analysis, defect-detection techniques |
| 1 | Marat Boshernitsan, Roong-Ko Doong, Alberto Savoia |
From daikon to agitator: lessons and challenges in building a commercial tool for developer testing. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
automated testing tools, developer testing, software agitation, unit testing, technology transfer, dynamic invariant detection, test-input generation |
| 1 | Barbara Staudt Lerner |
Verifying process models built using parameterized state machines. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
Little-JIL, SMC, finite state machine, software process, work flow, LTSA |
| 1 | David Saff, Michael D. Ernst |
An experimental evaluation of continuous testing during development. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
continuous compilation, continuous testing, test-first development, unit testing |
| 1 | George S. Avrunin, Gregg Rothermel (eds.) |
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2004, Boston, Massachusetts, USA, July 11-14, 2004 |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Tonella |
Evolutionary testing of classes. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
genetic algorithms, object-oriented testing, automated test case generation |
| 1 | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
Test input generation with java PathFinder. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees |
| 1 | Cormac Flanagan, Stephen N. Freund, Shaz Qadeer |
Exploiting purity for atomicity. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
purity, concurrent programs, reduction, atomicity |
| 1 | Sandro Morasca, Stefano Serra Capizzano |
On the analytical comparison of testing techniques. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
subdomain-based testing, software testing, random testing, majorization |
| 1 | James F. Bowring, James M. Rehg, Mary Jean Harrold |
Active learning for automatic classification of software behavior. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
machine learning, software testing, Markov models, software behavior |
| 1 | Lee Lin, Michael D. Ernst |
Improving the adaptability of multi-mode systems via program steering. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
mode selection, multi-mode systems, program steering, adaptability |
| 1 | Chen Fu, Barbara G. Ryder, Ana L. Milanova, David Wonnacott |
Testing of java web services for robustness. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
def-use testing, test coverage metrics, java, exceptions |
| 1 | Alan Hartman, Kenneth Nagin |
The AGEDIS tools for model based testing. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
test execution framework, validation, UML modeling, coverage analysis, automated test generation, defect analysis |
| 1 | Xiang Fu 0001, Tevfik Bultan, Jianwen Su |
Model checking XML manipulating software. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
MSL, web service, XML, model checking, XPath, XML schema, SPIN, promela |
| 1 | Karl Meinke |
Automated black-box testing of functional correctness using function approximation. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
formal specification, approximation, functional test, constraint solving, test coverage, black-box test, satisfiability problem |
| 1 | Mihai Christodorescu, Somesh Jha |
Testing malware detectors. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
malware, obfuscation, adaptive testing, anti-virus |
| 1 | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson 0001 |
Software assurance by bounded exhaustive testing. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing |
| 1 | Cemal Yilmaz 0001, Myra B. Cohen, Adam A. Porter |
Covering arrays for efficient fault characterization in complex configuration spaces. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
fault characterization, software testing, covering arrays, distributed continuous quality assurance |
| 1 | Nurit Dor, Stephen Adams 0001, Manuvir Das, Zhe Yang 0001 |
Software validation via scalable path-sensitive value flow analysis. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
value flow, alias analysis, path-sensitive analysis |
| 1 | James R. Ezick |
An optimizing compiler for batches of temporal logic formulas. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, optimizing compiler |
| 1 | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson 0001 |
Automating commutativity analysis at the design level. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods |
| 1 | Jonathan Edwards, Daniel Jackson 0001, Emina Torlak, Vincent Yeung |
Faster constraint solving with subtypes. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
relational logic, verification, constraints, analysis, SAT, subtypes |
| 1 | Matteo Rossi 0001, Dino Mandrioli |
A formal approach for modeling and verification of RTCORBA-based applications. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
real-time, middleware, formal verification, CORBA, distributed applications |
| 1 | André Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
flags, testability transformation, empirical evaluation, evolutionary testing |
| 1 | César A. Muñoz, Gilles Dowek, Victor Carreño |
Modeling and verification of an air traffic concept of operations. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
air traffic management systems, model checking, theorem proving |
| 1 | Atanas Rountev, Scott Kagan, Michael Gibas |
Static and dynamic analysis of call chains in Java. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
call chains, static analysis, dynamic analysis, call graph |
| 1 | Sebastian G. Elbaum, Madeline Hardojo |
An empirical study of profiling strategies for released software and their impact on testing activities. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
testing, empirical studies, profiling, instrumentation, software deployment |
| 1 | Darrell Reimer, Edith Schonberg, Kavitha Srinivas, Harini Srinivasan, Bowen Alpern, Robert D. Johnson, Aaron Kershenbaum, Larry Koved |
SABER: smart analysis based error reduction. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
defect understanding, frameworks, program analysis |
| 1 | S. Ramesh 0001, Aditya Rajeev Kulkarni, Viraj Kamat |
Slicing tools for synchronous reactive programs. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
formal verification, slicing, synchronous programs |
| 1 | Thomas J. Ostrand, Elaine J. Weyuker, Robert M. Bell |
Where the bugs are. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
software testing, prediction, empirical study, software faults, regression model, fault-prone |
| 1 | Lev Nachmanson, Margus Veanes, Wolfram Schulte, Nikolai Tillmann, Wolfgang Grieskamp |
Optimal strategies for testing nondeterministic systems. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
optimal game strategies, probabilistic nondeterministic finite state machines, abstract state machines |
| 1 | Dick Hamlet |
Continuity in sofware systems. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ashok Sreenivas |
Panel discussion: is ISSTA testing research relevant to industrial users? |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincent Encontre |
Is ISSTA research relevant to industrial users? panel - ISSTA 2002: empowering the developer to be a tester too! |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
UML, testing, debugging, runtime analysis, JUnit |
| 1 | Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov |
Korat: automated testing based on Java predicates. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachel Cardell-Oliver |
Conformance test experiments for distributed real-time systems. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
Lego RCX, design for testability, timed automata, conformance testing, distributed real-time systems, Uppaal |
| 1 | Gleb Naumovich |
A conservative algorithm for computing the flow of permissions in Java programs. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
security, java, verification, static analysis, data flow analysis |
| 1 | Jeremy W. Nimmer, Michael D. Ernst |
Automatic generation of program specifications. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte, Margus Veanes |
Generating finite state machines from abstract state machines. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
finite state machine, test case generation, FSM, abstract state machine, executable specification, ASM |
| 1 | G. Friedman, Alan Hartman, Kenneth Nagin, T. Shiran |
Projected state machine coverage for software testing. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
state machine projection., validation, automated test generation, finite state machine modeling |
| 1 | Emilia Peciola |
Ericsson lab Italy: is ISSTA research relevant to industrial users? |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jong-Deok Choi, Andreas Zeller |
Isolating failure-inducing thread schedules. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Donglin Liang, Maikel Pennings, Mary Jean Harrold |
Evaluating the precision of static reference analysis using profiling. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | John Whaley, Michael C. Martin, Monica S. Lam |
Automatic extraction of object-oriented component interfaces. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing |
| 1 | Diego Latella, Mieke Massink |
On testing and conformance relations for UML statechart diagrams behaviours. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory |
Displaying result #801 - #900 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