|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 840 occurrences of 611 keywords
|
|
|
Results
Found 1053 publication records. Showing 1053 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
89 | Hong Zhu 0002 |
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
subsume relation, Software testing, test adequacy criteria, testing scenarios, fault detecting ability |
80 | Kenneth Koster, David C. Kao |
State coverage: a structural test adequacy criterion for behavior checking. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
fault-based, coverage, unit testing, mutation testing, structural testing, test adequacy criteria, state coverage |
73 | Allen S. Parrish, Stuart H. Zweben |
Clarifying Some Fundamental Concepts in Software Testing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software test data adequacy criterion, useful adequacy criteria, realistic models, software testing, formal verification, program testing, test set, formal definitions |
62 | Gregory M. Kapfhammer, Mary Lou Soffa |
A family of test adequacy criteria for database-driven applications. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
database-driven applications, test adequacy criteria |
62 | Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf |
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl |
Requirements Coverage as an Adequacy Measure for Conformance Testing. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Joseph Aguilar-Martin, Núria Agell, Mónica Sánchez, Francesc Prats |
Analysis of Tensions in a Population Based on the Adequacy Concept. |
CCIA |
2002 |
DBLP DOI BibTeX RDF |
knowledge representation, fuzzy reasoning, qualitative reasoning, classification algorithms |
55 | Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur |
Interface Mutation: An Approach for Integration Testing. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
mutation testing, testing tool, integration testing, mutation analysis, Test adequacy criteria |
53 | Trung T. Dinh-Trong, Birgit Geppert, J. Jenny Li, Frank Rößler |
Looking for More Confidence in Refactoring? How to Assess Adequacy of Your Refactoring Tests. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
testing, refactoring, dominator, control flow graph, code coverage, test adequacy criteria |
53 | Swee Chiang Chiam, Chi Keong Goh, Kay Chen Tan |
Adequacy of Empirical Performance Assessment for Multiobjective Evolutionary Optimizer. |
EMO |
2007 |
DBLP DOI BibTeX RDF |
Evolutionary Computation, Multiobjective Optimization, Performance assessment, Adequacy |
53 | Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf |
Simulation-based test adequacy criteria for distributed systems. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
fault-based analysis, distributed systems, discrete-event simulation, test adequacy criteria |
53 | Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns |
Test Adequacy Assessment for UML Design Model Testing. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram |
53 | Sudipto Ghosh, Aditya P. Mathur |
Interface Mutation to Assess the Adequacy of Tests for Components and Systems. |
TOOLS (34) |
2000 |
DBLP DOI BibTeX RDF |
interface description language, test adequacy assessment, Component-based systems, mutation testing, distributed object systems |
45 | Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum |
Saturation-based testing of concurrent programs. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
coverage, concurrent programs, test adequacy criteria |
45 | Hridesh Rajan, Kevin J. Sullivan |
Aspect language features for concern coverage profiling. |
AOSD |
2005 |
DBLP DOI BibTeX RDF |
Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C# |
45 | Nathalie Hernandez, Josiane Mothe |
An Approach to Evaluate Existing Ontologies for Indexing a Document Corpus. |
AIMSA |
2004 |
DBLP DOI BibTeX RDF |
ontology, information retrieval, indexing, adequacy |
45 | Shan-Shan Hou, Lu Zhang 0023, Tao Xie 0001, Hong Mei 0001, Jiasu Sun |
Applying Interface-Contract Mutation in Regression Testing of Component-Based Software. |
ICSM |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan |
Inter-context control-flow and data-flow test adequacy criteria for nesC applications. |
SIGSOFT FSE |
2008 |
DBLP DOI BibTeX RDF |
software testing, test adequacy criteria, networked embedded system |
44 | Hong Zhu 0002, Patrick A. V. Hall, John H. R. May |
Software Unit Test Coverage and Adequacy. |
ACM Comput. Surv. |
1997 |
DBLP DOI BibTeX RDF |
comparing testing effectiveness, software unit test, fault detection, test coverage, test adequacy criteria, testing methods |
44 | Allen S. Parrish, Stuart H. Zweben |
Analysis and Refinement of Software Test Data Adequacy Properties. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
software test data adequacy properties, weak existential properties, formal specification, software testing, specification, data integrity, standards, standards, consistency, program testing, program structure |
44 | Remco M. Dijkman, Teduh Dirgahayu, Dick A. C. Quartel |
The adequacy of languages for representing interaction mechanisms. |
Inf. Syst. Frontiers |
2007 |
DBLP DOI BibTeX RDF |
Middleware, Communication patterns, Design concept, Design language |
44 | Roy Billinton, Dange Huang |
Peaking Unit Considerations in Generating Capacity Adequacy Assessment. |
CCECE |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Maciej Koutny |
Adequacy-Preserving Transformations of COSY Path Programs. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Roger T. Alexander, James M. Bieman, Sudipto Ghosh, Bixia Ji |
Mutation of Java Objects. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
Java, software testing, object-oriented programming, testability, Faults, mutation analysis, test adequacy |
36 | Spencer Rugaber, Terry Shikano, Kurt Stirewalt |
Adequate Reverse Engineering. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
Reverse engineering, code generation, representation, algebraic specification, adequacy |
36 | Matthew J. Rummel, Gregory M. Kapfhammer, Andrew Thall |
Towards the prioritization of regression test suites with data flow information. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Samual Bates, Susan Horwitz |
Incremental Program Testing Using Program Dependence Graphs. |
POPL |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel |
Adequacy of Compositional Translations for Observational Semantics. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl |
The effect of program and model structure on mc/dc test adequacy coverage. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
structural coverage metrics |
35 | Isabelle Bégin, Frank P. Ferrie |
Training Database Adequacy Analysis for Learning-Based Super-Resolution. |
CRV |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Pietro Baroni, Massimiliano Giacomin |
Evaluating Argumentation Semantics with Respect to Skepticism Adequacy. |
ECSQARU |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Mathew Magimai-Doss, Hervé Bourlard |
On the Adequacy of Baseform Pronunciations and Pronunciation Variants. |
MLMI |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Richard Tabors, Aleksandr Rudkevich |
Stochastic Nodal Adequacy Platform: Spot Pricing of Adequacy. |
HICSS |
2024 |
DBLP BibTeX RDF |
|
34 | Jan A. Bergstra |
Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
34 | Javier F. Botía, Hernan D. Yepes, Ana M. Cárdenas, Gladys Quintero |
Fuzzy entropies by adequacy and non-adequacy applied to the analysis of combs spectra stability. |
CIVEMSA |
2013 |
DBLP DOI BibTeX RDF |
|
27 | Heng Lu 0001, W. K. Chan 0001, T. H. Tse |
Testing pervasive software in the presence of context inconsistency resolution services. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
context inconsistency resolution, pervasive computing, test adequacy |
27 | Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil |
A Temporal Logic for Input Output Symbolic Transition Systems. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy |
27 | Gordon D. Plotkin |
Three Inadequate Models. |
Formal Aspects Comput. |
2002 |
DBLP DOI BibTeX RDF |
Full abstraction, Counterexample, PCF, Adequacy |
27 | Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy |
Validating Run-time Interactions in Distributed Java Applications. |
ICECCS |
2002 |
DBLP DOI BibTeX RDF |
Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams |
27 | Christoph C. Michael, Gary E. McGraw Jr., Michael Schatz, C. C. Walton |
Genetic Algorithms for Dynamic Test Data Generation. |
ASE |
1997 |
DBLP DOI BibTeX RDF |
program features, random test generation, genetic algorithms, genetic algorithms, software testing, combinatorial optimization, test generation, test data generation, test adequacy criteria |
27 | Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino |
Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. |
SCCC |
1997 |
DBLP DOI BibTeX RDF |
constraint based selection, structural software testing criteria, Constraint Based Criteria, distinct fundamentals, test data generation strategies, test data set adequacy, program testing |
27 | Phyllis G. Frankl, Elaine J. Weyuker |
Provable Improvements on Branch Testing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
software test data adequacy, independent random selection, condition-coverage techniques, software testing, program testing, programming theory, program debugging, mutation testing, test suite, data flow testing, fault-detecting ability, probabilistic measure, branch testing |
27 | Phyllis G. Frankl, Stewart N. Weiss |
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
error exposing ability, all-edges test data adequacy criteria, software testing experiments, executable edges, definition-use associations, all-uses adequate test sets, program testing, errors, regression analysis, data flow testing, branch testing |
27 | Richard A. DeMillo, A. Jefferson Offutt |
Experimental Results from an Automatic Test Case Generator. |
ACM Trans. Softw. Eng. Methodol. |
1993 |
DBLP DOI BibTeX RDF |
constraints, mutation analysis, adequacy |
27 | Michael W. Mislove, Frank J. Oles |
Full Abstraction and Unnested Recursion. |
REX Workshop |
1992 |
DBLP DOI BibTeX RDF |
algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy |
27 | Richard A. DeMillo, A. Jefferson Offutt |
Constraint-Based Automatic Test Data Generation. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
constraint-based data generation, relative adequacy, fault-based technique, algebraic constraints, Godzilla, module testing, Mothra testing system, computational complexity, program testing, mutation analysis, automatic test data generation |
27 | Elaine J. Weyuker |
The Cost of Data Flow Testing: An Empirical Study. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
test data adequacy criteria, data-flow information, theoretical complexity analysis, software testing criteria, parallel programming, empirical study, program testing, cost, data flow testing |
27 | Phyllis G. Frankl, Elaine J. Weyuker |
An Applicable Family of Data Flow Testing Criteria. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria |
27 | Arnaud Gotlieb, Matthieu Petit |
Towards a Theory for Testing Non-terminating Programs. |
COMPSAC (1) |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu 0005, Bogdan Korel, Phil McMinn, Marc Roper |
Testability Transformation - Program Transformation to Improve Testability. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita |
A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation. |
KES (2) |
2008 |
DBLP DOI BibTeX RDF |
Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency |
27 | Ben H. Smith, Yonghee Shin, Laurie A. Williams |
Proposing SQL statement coverage metrics. |
SESS |
2008 |
DBLP DOI BibTeX RDF |
security, test, SQL, attack, SQL injection, coverage criteria, threat |
27 | Atif M. Memon, Mary Lou Soffa, Martha E. Pollack |
Coverage criteria for GUI testing. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing |
26 | Christoph S. Herrmann, Frank W. Ohl |
Cognitive Adequacy in Brain-Like Intelligence. |
Creating Brain-Like Intelligence |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Marcel R. Karam, Trevor J. Smedley, Sergiu M. Dascalu |
Unit-level test adequacy criteria for visual dataflow languages and a testing methodology. |
ACM Trans. Softw. Eng. Methodol. |
2008 |
DBLP DOI BibTeX RDF |
visual dataflow languages, Software testing, fault detection, color, fault localization |
26 | Ajitha Rajan |
Coverage Metrics to Measure Adequacy of Black-Box Test Suites. |
ASE |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Gordon D. Plotkin |
Adequacy for Algebraic Effects with State. |
CALCO |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Mats Per Erik Heimdahl, George Devaraj, Robert Weber |
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? |
HASE |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Silke Kuball, John H. R. May |
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. |
ISSRE |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Eduardo Saggioro Garcia, Caio Fiuza Silva, Eduardo Saliby |
Warehousing and inventory management: a simulation model to validate and evaluate the adequacy of an analytical expression for proper safety stock sizing. |
WSC |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Gordon D. Plotkin, John Power |
Adequacy for Algebraic Effects. |
FoSSaCS |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jochen Renz, Reinhold Rauh, Markus Knauff |
Towards Cognitive Adequacy of Topological Spatial Relations. |
Spatial Cognition |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Alex K. Simpson |
Computational Adequacy in an Elementary Topos. |
CSL |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Andrew M. Pitts |
Computational Adequacy via "Mixed" Inductive Definitions. |
MFPS |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Schnoebelen, Sophie Pinchinat |
On the Weak Adequacy of Branching-Time Remporal Logic. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Shvetha Soundararajan, James D. Arthur |
A Structured Framework for Assessing the "Goodness" of Agile Methods. |
ECBS |
2011 |
DBLP DOI BibTeX RDF |
Agile Assessment, Assessing Adequacy, Linkages between Objectives, Effectiveness, Capability, Practices, Indicators, Principles |
18 | Lu Zhang 0023, Shan-Shan Hou, Jun-Jue Hu, Tao Xie 0001, Hong Mei 0001 |
Is operator-based mutant selection superior to random mutant selection? |
ICSE (1) |
2010 |
DBLP DOI BibTeX RDF |
test-adequacy criterion, mutation testing |
18 | Ben H. Smith, Laurie A. Williams |
On guiding the augmentation of an automated test suite via mutation analysis. |
Empir. Softw. Eng. |
2009 |
DBLP DOI BibTeX RDF |
Line coverage, Empirical effectiveness, Test case augmentation, Mutation testing tool, Statement coverage, Web application, Open source, Fault injection, Unit testing, Mutation testing, Mutation analysis, Test adequacy |
18 | Emile Verdurand, Gilles Coppin, Franck Poirier, Olivier Grisvard |
Modeling Multimodal Interaction for Performance Evaluation. |
HCI (2) |
2009 |
DBLP DOI BibTeX RDF |
context adequacy, interaction language, modeling, evaluation, multimodal interaction, modality |
18 | Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti |
Whitening SOA testing. |
ESEC/SIGSOFT FSE |
2009 |
DBLP DOI BibTeX RDF |
coverage adequacy criteria, testing web services, service-oriented architecture, white-box testing |
18 | Bin Zhu, Huaikou Miao, Lizhi Cai |
Testing a Web Application Involving Web Browser Interaction. |
SNPD |
2009 |
DBLP DOI BibTeX RDF |
navigation tree, browser, test case, adequacy criteria |
18 | Ken Koster |
A state coverage tool for JUnit. |
ICSE Companion |
2008 |
DBLP DOI BibTeX RDF |
coverage, unit testing, structural testing, test adequacy criteria, taint analysis, state coverage |
18 | Michael Ellims, James Bridges, Darrel C. Ince |
The Economics of Unit Testing. |
Empir. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Software testing, Unit testing, Test effectiveness, Adequacy criteria |
18 | Heng Lu 0001, W. K. Chan 0001, T. H. Tse |
Testing context-aware middleware-centric programs: a data flow approach and an RFID-based experimentation. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
RFID, context-aware applications, test adequacy |
18 | 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 |
18 | Hong Zhu 0002, Joseph Robert Horgan, S. C. Cheung 0001, J. Jenny Li |
The first international workshop on automation of software test. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
component integration test, test adequacy and coverage, test cost and effectiveness, test tools and environments, software test, model-based test, test case generation, software automation |
18 | Lionel C. Briand, Yvan Labiche, Michal M. Sówka |
Automated, contract-based user testing of commercial-off-the-shelf components. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
UML, component, COTS, adequacy criteria |
18 | Ming-Hao Liu 0001, You-Feng Gao, Jinhui Shan, Jiang-Hong Liu, Lu Zhang 0023, Jiasu Sun |
An Approach to Test Data Generation for Killing Multiple Mutants. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
adequacy criterion, unit testing, test data generation, mutation testing |
18 | Martin Leucker, Thomas Noll 0001, Perdita Stevens, Michael Weber 0002 |
Functional programming languages for verification tools: a comparison of Standard ML and Haskell. |
Int. J. Softw. Tools Technol. Transf. |
2005 |
DBLP DOI BibTeX RDF |
Language adequacy, Haskell, ML, Verification tools, Functional programming languages |
18 | Trung T. Dinh-Trong, Nilesh Kawane, Sudipto Ghosh, Robert B. France, Anneliese Amschler Andrews |
A Tool-Supported Approach to Testing UML Design Models. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams |
18 | Mitchell Wand, Dale Vaillancourt |
Relating models of backtracking. |
ICFP |
2004 |
DBLP DOI BibTeX RDF |
two-continuation semantics, streams, monads, logical relations, adequacy |
18 | Nishant Bawa, Sudipto Ghosh |
Visualizing Interactions in Distributed Java Applications. |
IWPC |
2003 |
DBLP DOI BibTeX RDF |
method sequence, XML, UML, Application, software visualization, distributed objects, sequence diagrams, Java RMI, test adequacy criteria, interception |
18 | Viviana Bono, Michele Bugliesi, Silvia Crafa |
Typed interpretations of extensible objects. |
ACM Trans. Comput. Log. |
2002 |
DBLP DOI BibTeX RDF |
Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization |
18 | Sudipto Ghosh |
Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation. |
SCAM |
2002 |
DBLP DOI BibTeX RDF |
Java, software testing, Concurrent programs, testability, faults, mutation analysis, test adequacy |
18 | Vladimir L. Averbukh |
Toward the Conceptions of Visualization Language and Visualization Metaphor. |
HCC |
2001 |
DBLP DOI BibTeX RDF |
adequacy in visualizations, visualization language, visualization metaphor |
18 | Allen S. Parrish, Stuart H. Zweben |
On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
subsumes, covers, data flow testing, Adequacy criteria |
18 | Elaine J. Weyuker |
More Experience with Data Flow Testing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
Rapps-Weyuker data flow testing criteria, tester variability, cost assessment, data adequacy, software testing, fault detection, program testing, software cost estimation, data flow testing, numerical programs |
18 | Ahmed Bouajjani, Susanne Graf, Joseph Sifakis |
A logig for the description of behaviours and properties of concurrent systems. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy |
18 | Robin Abraham, Martin Erwig |
Mutation Operators for Spreadsheets. |
IEEE Trans. Software Eng. |
2009 |
DBLP DOI BibTeX RDF |
|
18 | David Schuler, Valentin Dallmeier, Andreas Zeller |
Efficient mutation testing by checking invariant violations. |
ISSTA |
2009 |
DBLP DOI BibTeX RDF |
dynamic invariants, mutation testing |
18 | Yael Dahan Netzer, David Gabay, Meni Adler, Yoav Goldberg, Michael Elhadad |
Ontology Evaluation through Text Classification. |
APWeb/WAIM Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Birgitta Lindström, A. Jefferson Offutt, Sten F. Andler |
Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch |
Sufficient mutation operators for measuring test effectiveness. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
mutation analysis, testing effectiveness |
18 | Julian Ligertwood, Margaret Jackson |
Transborder Data Protection and the Effects on Business and Government. |
HCI (11) |
2007 |
DBLP DOI BibTeX RDF |
EU, government, law, India, data protection, business, Australia |
18 | Juan Luis Jiménez Laredo, Pedro Ángel Castillo Valdivieso, Ben Paechter, Antonio Miguel Mora, Eva Alfaro-Cid, Anna Esparcia-Alcázar, Juan Julián Merelo Guervós |
Empirical Validation of a Gossiping Communication Mechanism for Parallel EAs. |
EvoWorkshops |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Brandon J. Smith, Bruce R. Southey, Sandra L. Rodriguez-Zas |
Smoothing Spline Mixed Effects Modeling of Multifactorial Gene Expression Profiles. |
BIBM |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Damien Charlet, Valérie Issarny, Rafik Chibout |
Service discovery in multi-radio networks: an assessment of existing protocols. |
MSWiM |
2006 |
DBLP DOI BibTeX RDF |
B3G networks, service discovery, energy consumption |
18 | Amit M. Paradkar |
Case studies on fault detection effectiveness of model based test generation techniques. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Amit M. Paradkar |
Case studies on fault detection effectiveness of model based test generation techniques. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 1053 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|