|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 22(4), pp. 248-255, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 541-544, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(7), pp. 742-746, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003, pp. 98-107, 2003, ACM, 978-1-58113-743-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 34(4), pp. 452-470, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings, pp. 86-104, 2008, Springer, 978-3-540-88193-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCIA ![In: Topics in Artificial Intelligence, 5th Catalonian Conference on AI, CCIA 2002, Castellón, Spain, October 24-25, 2002, Proceedings, pp. 17-28, 2002, Springer, 3-540-00011-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 27(3), pp. 228-247, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Eighth International Conference on Quality Software, QSIC 2008, 12-13 August 2008, Oxford, UK, pp. 255-263, 2008, IEEE Computer Society, 978-0-7695-3312-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMO ![In: Evolutionary Multi-Criterion Optimization, 4th International Conference, EMO 2007, Matsushima, Japan, March 5-8, 2007, Proceedings, pp. 893-907, 2007, Springer, 3-540-70927-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 231-241, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 332-346, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (34) ![In: TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July - 3 August 2000, Santa Barbara, CA, USA, pp. 37-, 2000, IEEE Computer Society, 0-7695-0774-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 53-62, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
coverage, concurrent programs, test adequacy criteria |
45 | Hridesh Rajan, Kevin J. Sullivan |
Aspect language features for concern coverage profiling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005, pp. 181-191, 2005, ACM, 1-59593-042-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIMSA ![In: Artificial Intelligence: Methodology, Systems, and Applications, 11th International Conference, AIMSA 2004, Varna, Bulgaria, September 2-4, 2004, Proceedings, pp. 11-21, 2004, Springer, 3-540-22959-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 23rd IEEE International Conference on Software Maintenance (ICSM 2007), October 2-5, 2007, Paris, France, pp. 174-183, 2007, IEEE Computer Society, 978-1-4244-1256-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008, Atlanta, Georgia, USA, November 9-14, 2008, pp. 94-104, 2008, ACM, 978-1-59593-995-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Comput. Surv. ![In: ACM Comput. Surv. 29(4), pp. 366-427, 1997. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(6), pp. 656-581, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. Frontiers ![In: Inf. Syst. Frontiers 9(4), pp. 359-373, 2007. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 386-389, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Maciej Koutny |
Adequacy-Preserving Transformations of COSY Path Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrency ![In: Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings, pp. 368-379, 1988, Springer, 3-540-50403-6. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
36 | Roger T. Alexander, James M. Bieman, Sudipto Ghosh, Bixia Ji |
Mutation of Java Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 12-15 November 2002, Annapolis, MD, USA, pp. 341-351, 2002, IEEE Computer Society, 0-7695-1763-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 232-, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1499-1504, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Samual Bates, Susan Horwitz |
Incremental Program Testing Using Program Dependence Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Charleston, South Carolina, USA, January 1993, pp. 384-396, 1993, ACM Press, 0-89791-560-7. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
35 | Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel |
Adequacy of Compositional Translations for Observational Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy, pp. 521-535, 2008, Springer, 978-0-387-09679-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 161-170, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
structural coverage metrics |
35 | Isabelle Bégin, Frank P. Ferrie |
Training Database Adequacy Analysis for Learning-Based Super-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRV ![In: Fourth Canadian Conference on Computer and Robot Vision (CRV 2007), 28-30 May 2007, Montreal, Quebec, Canada, pp. 29-35, 2007, IEEE Computer Society, 0-7695-2786-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Pietro Baroni, Massimiliano Giacomin |
Evaluating Argumentation Semantics with Respect to Skepticism Adequacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, pp. 329-340, 2005, Springer, 3-540-27326-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Mathew Magimai-Doss, Hervé Bourlard |
On the Adequacy of Baseform Pronunciations and Pronunciation Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MLMI ![In: Machine Learning for Multimodal Interaction, First International Workshop,MLMI 2004, Martigny, Switzerland, June 21-23, 2004, Revised Selected Papers, pp. 209-222, 2004, Springer, 3-540-24509-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Richard Tabors, Aleksandr Rudkevich |
Stochastic Nodal Adequacy Platform: Spot Pricing of Adequacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 3133-3142, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
34 | Jan A. Bergstra |
Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1504.07184, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIVEMSA ![In: IEEE International Conference on Computational Intelligence and Virtual Environments for Measurement Systems and Applications, CIVEMSA 2013, Milan, Italy, July 15-17, 2013, pp. 174-179, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 61-70, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 12th Asia-Pacific Software Engineering Conference (APSEC 2005), 15-17 December 2005, Taipei, Taiwan, pp. 43-50, 2005, IEEE Computer Society, 0-7695-2465-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy |
27 | Gordon D. Plotkin |
Three Inadequate Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 13(3-5), pp. 364-385, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2-4 December 2002, Greenbelt, MD, USA, pp. 7-16, 2002, IEEE Computer Society, 0-7695-1757-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 1997 International Conference on Automated Software Engineering, ASE 1997, Lake Tahoe, CA, USA, November 2-5, 1997, pp. 307-308, 1997, IEEE Computer Society, 0-8186-7961-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCCC ![In: Proceedings of 17th International Conference of the Chilean Computer Science Society (SCCC '97), November 12-14, 1997, Valpariso, Chile, pp. 256-263, 1997, IEEE Computer Society, 0-8186-8052-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(10), pp. 962-975, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 774-787, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 2(2), pp. 109-127, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
constraints, mutation analysis, adequacy |
27 | Michael W. Mislove, Frank J. Oles |
Full Abstraction and Unnested Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Sematics: Foundations and Applications, REX Workshop, Beekbergen, The Netherlands, June 1-4, 1992, Proceedings, pp. 384-397, 1992, Springer, 3-540-56596-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 17(9), pp. 900-910, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(2), pp. 121-128, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(10), pp. 1483-1498, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 160-165, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods and Testing ![In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp. 320-344, 2008, Springer, 978-3-540-78916-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008, Zagreb, Croatia, September 3-5, 2008, Proceedings, Part II, pp. 994-1001, 2008, Springer, 978-3-540-85564-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SESS ![In: Proceedings of the Fourth International Workshop on Software Engineering for Secure Systems, SESS 2008, Leipzig, Germany, May 17-18, 2008, pp. 49-56, 2008, ACM, 978-1-60558-042-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC / SIGSOFT FSE ![In: Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, Vienna, Austria, September 10-14, 2001, pp. 256-267, 2001, ACM, 978-1-58113-390-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Creating Brain-Like Intelligence ![In: Creating Brain-Like Intelligence: From Basic Principles to Complex Intelligent Systems, pp. 314-327, 2009, Springer, 978-3-642-00615-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Gordon D. Plotkin |
Adequacy for Infinitary Algebraic Effects (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 1-2, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 18(1), pp. 1:1-1:40, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 335-338, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Gordon D. Plotkin |
Adequacy for Algebraic Effects with State. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 51-51, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Mats Per Erik Heimdahl, George Devaraj, Robert Weber |
Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 25-26 March 2004, Tampa, FL, USA, pp. 178-186, 2004, IEEE Computer Society, 0-7695-2094-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Silke Kuball, John H. R. May |
Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 15th International Symposium on Software Reliability Engineering (ISSRE 2004), 2-5 November 2004, Saint-Malo, Bretagne, France, pp. 161-172, 2004, IEEE Computer Society, 0-7695-2215-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 1282-1288, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Gordon D. Plotkin, John Power |
Adequacy for Algebraic Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 1-24, 2001, Springer, 3-540-41864-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jochen Renz, Reinhold Rauh, Markus Knauff |
Towards Cognitive Adequacy of Topological Spatial Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Spatial Cognition ![In: Spatial Cognition II, Integrating Abstract Theories, Empirical Studies, Formal Methods, and Practical Applications, pp. 184-197, 2000, Springer, 3-540-67584-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Alex K. Simpson |
Computational Adequacy in an Elementary Topos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 323-342, 1998, Springer, 3-540-65922-6. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Andrew M. Pitts |
Computational Adequacy via "Mixed" Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings, pp. 72-82, 1993, Springer, 3-540-58027-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Philippe Schnoebelen, Sophie Pinchinat |
On the Weak Adequacy of Branching-Time Remporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 377-388, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
18 | Shvetha Soundararajan, James D. Arthur |
A Structured Framework for Assessing the "Goodness" of Agile Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011, pp. 14-23, 2011, IEEE Computer Society, 978-1-4577-0065-1. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 435-444, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 14(3), pp. 341-369, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (2) ![In: Human-Computer Interaction. Novel Interaction Methods and Techniques, 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II, pp. 103-112, 2009, Springer, 978-3-642-02576-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 161-170, 2009, ACM, 978-1-60558-001-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: 10th ACIS International Conference on Software Engineering, Artificial Intelligences, Networking and Parallel/Distributed Computing, SNPD 2009, in conjunction with 3rd International Workshop on e-Activity, IWEA 2009, 1st International Workshop on Enterprise Architecture Challenges and Responses, WEACR 2009, Catholic University of Daegu, Daegu, Korea, 27-29 May 2009, pp. 589-594, 2009, IEEE Computer Society, 978-0-7695-3642-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
navigation tree, browser, test case, adequacy criteria |
18 | Ken Koster |
A state coverage tool for JUnit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, Companion Volume, pp. 965-966, 2008, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 11(1), pp. 5-31, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2006, Portland, Oregon, USA, November 5-11, 2006, pp. 242-252, 2006, ACM, 1-59593-468-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
RFID, context-aware applications, test adequacy |
18 | Greta Yorsh, Thomas Ball, Mooly Sagiv |
Testing, abstraction, theorem proving: better together! ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2006, Portland, Maine, USA, July 17-20, 2006, pp. 145-156, 2006, ACM, 1-59593-263-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 1028-1029, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 92-101, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 24-27 September 2006, Philadelphia, Pennsylvania, USA, pp. 113-122, 2006, IEEE Computer Society, 0-7695-2354-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 7(2), pp. 184-194, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 16-20 June 2005, Shanghai, China, pp. 519-528, 2005, IEEE Computer Society, 0-7695-2284-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004, pp. 54-65, 2004, ACM, 1-58113-905-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
two-continuation semantics, streams, monads, logical relations, adequacy |
18 | Nishant Bawa, Sudipto Ghosh |
Visualizing Interactions in Distributed Java Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPC ![In: 11th International Workshop on Program Comprehension (IWPC 2003), May 10-11, 2003, Portland, Oregon, USA, pp. 292-293, 2003, IEEE Computer Society, 0-7695-1883-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 3(4), pp. 562-603, 2002. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 2nd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2002), 1 October 2002, Montreal, Canada, pp. 17-25, 2002, IEEE Computer Society, 0-7695-1793-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCC ![In: 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy, pp. 390-391, 2001, IEEE Computer Society, 0-7803-7198-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(12), pp. 1006-1009, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
subsumes, covers, data flow testing, Adequacy criteria |
18 | Elaine J. Weyuker |
More Experience with Data Flow Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(9), pp. 912-919, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988, Proceedings, pp. 398-410, 1988, Springer, 3-540-51080-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy |
18 | Robin Abraham, Martin Erwig |
Mutation Operators for Spreadsheets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 35(1), pp. 94-108, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | David Schuler, Valentin Dallmeier, Andreas Zeller |
Efficient mutation testing by checking invariant violations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009, pp. 69-80, 2009, ACM, 978-1-60558-338-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb/WAIM Workshops ![In: Advances in Web and Network Technologies, and Information Management, APWeb/WAIM 2009 International Workshops: WCMT 2009, RTBI 2009, DBIR-ENQOIR 2009, PAIS 2009, Suzhou, China, April 2-4, 2009, Revised Selected Papers, pp. 210-221, 2009, Springer, 978-3-642-03995-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST ![In: First International Conference on Software Testing, Verification, and Validation, ICST 2008, Lillehammer, Norway, April 9-11, 2008, pp. 112-120, 2008, IEEE Computer Society, 978-0-7695-3127-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch |
Sufficient mutation operators for measuring test effectiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp. 351-360, 2008, ACM, 978-1-60558-079-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
mutation analysis, testing effectiveness |
18 | Julian Ligertwood, Margaret Jackson |
Transborder Data Protection and the Effects on Business and Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (11) ![In: Usability and Internationalization. Global and Local User Interfaces, Second International Conference on Usability and Internationalization, UI-HCII 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007, Proceedings, Part II, pp. 140-149, 2007, Springer, 978-3-540-73288-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoWorkshops ![In: Applications of Evolutinary Computing, EvoWorkshops 2007: EvoCoMnet, EvoFIN, EvoIASP,EvoINTERACTION, EvoMUSART, EvoSTOC and EvoTransLog, Valencia, Spain, April11-13, 2007, Proceedings., pp. 129-136, 2007, Springer, 978-3-540-71804-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIBM ![In: Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007, Silicon Valley, CA, USA, November 2-4, 2007, pp. 325-332, 2007, IEEE Computer Society, 0-7695-3031-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Damien Charlet, Valérie Issarny, Rafik Chibout |
Service discovery in multi-radio networks: an assessment of existing protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 9th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2006, Terromolinos, Spain, October 2-6, 2006, pp. 229-238, 2006, ACM, 1-59593-477-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Amit M. Paradkar |
Case studies on fault detection effectiveness of model based test generation techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-MOST ![In: Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, A-MOST 2005, St. Louis, Missouri, USA, 2005, ACM, 1-59593-115-5. The full citation details ...](Pics/full.jpeg) |
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][ >>] |
|