The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for adequacy with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1955-1978 (15) 1979-1985 (17) 1986-1988 (16) 1989-1990 (19) 1991 (16) 1992-1993 (27) 1994 (15) 1995-1996 (20) 1997 (19) 1998-1999 (32) 2000 (20) 2001 (36) 2002 (35) 2003 (42) 2004 (46) 2005 (62) 2006 (75) 2007 (81) 2008 (75) 2009 (57) 2010 (15) 2011 (18) 2012 (21) 2013 (27) 2014 (15) 2015 (20) 2016 (19) 2017 (18) 2018 (27) 2019 (28) 2020 (29) 2021 (34) 2022 (29) 2023 (20) 2024 (8)
Publication types (Num. hits)
article(318) book(2) incollection(8) inproceedings(713) phdthesis(12)
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
89Hong Zhu 0002 A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF subsume relation, Software testing, test adequacy criteria, testing scenarios, fault detecting ability
80Kenneth Koster, David C. Kao State coverage: a structural test adequacy criterion for behavior checking. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF fault-based, coverage, unit testing, mutation testing, structural testing, test adequacy criteria, state coverage
73Allen S. Parrish, Stuart H. Zweben Clarifying Some Fundamental Concepts in Software Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
62Gregory M. Kapfhammer, Mary Lou Soffa A family of test adequacy criteria for database-driven applications. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF database-driven applications, test adequacy criteria
62Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl Requirements Coverage as an Adequacy Measure for Conformance Testing. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
62Joseph 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 CCIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF knowledge representation, fuzzy reasoning, qualitative reasoning, classification algorithms
55Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur Interface Mutation: An Approach for Integration Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF mutation testing, testing tool, integration testing, mutation analysis, Test adequacy criteria
53Trung 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 QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF testing, refactoring, dominator, control flow graph, code coverage, test adequacy criteria
53Swee Chiang Chiam, Chi Keong Goh, Kay Chen Tan Adequacy of Empirical Performance Assessment for Multiobjective Evolutionary Optimizer. Search on Bibsonomy EMO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Evolutionary Computation, Multiobjective Optimization, Performance assessment, Adequacy
53Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf Simulation-based test adequacy criteria for distributed systems. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault-based analysis, distributed systems, discrete-event simulation, test adequacy criteria
53Sudipto Ghosh, Robert B. France, Conrad Braganza, Nilesh Kawane, Anneliese Amschler Andrews, Orest Pilskalns Test Adequacy Assessment for UML Design Model Testing. Search on Bibsonomy ISSRE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF category partitioning, UML, software testing, class diagram, test adequacy criteria, design reviews, collaboration diagram
53Sudipto Ghosh, Aditya P. Mathur Interface Mutation to Assess the Adequacy of Tests for Components and Systems. Search on Bibsonomy TOOLS (34) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF interface description language, test adequacy assessment, Component-based systems, mutation testing, distributed object systems
45Elena Sherman, Matthew B. Dwyer, Sebastian G. Elbaum Saturation-based testing of concurrent programs. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF coverage, concurrent programs, test adequacy criteria
45Hridesh Rajan, Kevin J. Sullivan Aspect language features for concern coverage profiling. Search on Bibsonomy AOSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Eos, concern coverage, coverage adequacy criteria, generalized advice, generalized join point models, C#
45Nathalie Hernandez, Josiane Mothe An Approach to Evaluate Existing Ontologies for Indexing a Document Corpus. Search on Bibsonomy AIMSA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF ontology, information retrieval, indexing, adequacy
45Shan-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 ICSM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
44Zhifeng Lai, Shing-Chi Cheung, Wing Kwong Chan Inter-context control-flow and data-flow test adequacy criteria for nesC applications. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software testing, test adequacy criteria, networked embedded system
44Hong Zhu 0002, Patrick A. V. Hall, John H. R. May Software Unit Test Coverage and Adequacy. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF comparing testing effectiveness, software unit test, fault detection, test coverage, test adequacy criteria, testing methods
44Allen S. Parrish, Stuart H. Zweben Analysis and Refinement of Software Test Data Adequacy Properties. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
44Remco M. Dijkman, Teduh Dirgahayu, Dick A. C. Quartel The adequacy of languages for representing interaction mechanisms. Search on Bibsonomy Inf. Syst. Frontiers The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Middleware, Communication patterns, Design concept, Design language
44Roy Billinton, Dange Huang Peaking Unit Considerations in Generating Capacity Adequacy Assessment. Search on Bibsonomy CCECE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Maciej Koutny Adequacy-Preserving Transformations of COSY Path Programs. Search on Bibsonomy Concurrency The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
36Roger T. Alexander, James M. Bieman, Sudipto Ghosh, Bixia Ji Mutation of Java Objects. Search on Bibsonomy ISSRE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, software testing, object-oriented programming, testability, Faults, mutation analysis, test adequacy
36Spencer Rugaber, Terry Shikano, Kurt Stirewalt Adequate Reverse Engineering. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Reverse engineering, code generation, representation, algebraic specification, adequacy
36Matthew J. Rummel, Gregory M. Kapfhammer, Andrew Thall Towards the prioritization of regression test suites with data flow information. Search on Bibsonomy SAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Samual Bates, Susan Horwitz Incremental Program Testing Using Program Dependence Graphs. Search on Bibsonomy POPL The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
35Manfred Schmidt-Schauß, Joachim Niehren, Jan Schwinghammer, David Sabel Adequacy of Compositional Translations for Observational Semantics. Search on Bibsonomy IFIP TCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl The effect of program and model structure on mc/dc test adequacy coverage. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF structural coverage metrics
35Isabelle Bégin, Frank P. Ferrie Training Database Adequacy Analysis for Learning-Based Super-Resolution. Search on Bibsonomy CRV The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Pietro Baroni, Massimiliano Giacomin Evaluating Argumentation Semantics with Respect to Skepticism Adequacy. Search on Bibsonomy ECSQARU The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Mathew Magimai-Doss, Hervé Bourlard On the Adequacy of Baseform Pronunciations and Pronunciation Variants. Search on Bibsonomy MLMI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Richard Tabors, Aleksandr Rudkevich Stochastic Nodal Adequacy Platform: Spot Pricing of Adequacy. Search on Bibsonomy HICSS The full citation details ... 2024 DBLP  BibTeX  RDF
34Jan A. Bergstra Architectural Adequacy and Evolutionary Adequacy as Characteristics of a Candidate Informational Money. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
34Javier 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 CIVEMSA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
27Heng Lu 0001, W. K. Chan 0001, T. H. Tse Testing pervasive software in the presence of context inconsistency resolution services. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF context inconsistency resolution, pervasive computing, test adequacy
27Marc Aiguier, Pascale Le Gall, Delphine Longuet, Assia Touil A Temporal Logic for Input Output Symbolic Transition Systems. Search on Bibsonomy APSEC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF input output symbolic transition systems, strong bisimulation, temporal logic, refinement, adequacy
27Gordon D. Plotkin Three Inadequate Models. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Full abstraction, Counterexample, PCF, Adequacy
27Sudipto Ghosh, Nishant Bawa, Sameer Goel, Raghu Reddy Validating Run-time Interactions in Distributed Java Applications. Search on Bibsonomy ICECCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Visualization, Unified Modeling Language, Software design, Distributed applications, Assertions, Java RMI, Test adequacy criteria, Interceptors, Interaction diagrams
27Christoph C. Michael, Gary E. McGraw Jr., Michael Schatz, C. C. Walton Genetic Algorithms for Dynamic Test Data Generation. Search on Bibsonomy ASE The full citation details ... 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
27Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. Search on Bibsonomy SCCC The full citation details ... 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
27Phyllis G. Frankl, Elaine J. Weyuker Provable Improvements on Branch Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
27Phyllis G. Frankl, Stewart N. Weiss An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
27Richard A. DeMillo, A. Jefferson Offutt Experimental Results from an Automatic Test Case Generator. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF constraints, mutation analysis, adequacy
27Michael W. Mislove, Frank J. Oles Full Abstraction and Unnested Recursion. Search on Bibsonomy REX Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF algebraic poset, homomorphism, Full abstraction, algebraic semantics, adequacy
27Richard A. DeMillo, A. Jefferson Offutt Constraint-Based Automatic Test Data Generation. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
27Elaine J. Weyuker The Cost of Data Flow Testing: An Empirical Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
27Phyllis G. Frankl, Elaine J. Weyuker An Applicable Family of Data Flow Testing Criteria. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF definition-use associations, software reliability, program testing, program testing, Pascal, data flow testing, ASSET, adequacy criteria
27Arnaud Gotlieb, Matthieu Petit Towards a Theory for Testing Non-terminating Programs. Search on Bibsonomy COMPSAC (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
27Mark 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 Formal Methods and Testing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
27Masakazu Takahashi, Satoru Takahashi, Yoshikatsu Fujita A Method for Ensuring Consistency of Software Design Information in Retrospective Computer Validation. Search on Bibsonomy KES (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Retrospective Computer Validation, Pharmaceutical Production System, Design Information Database, Consistency
27Ben H. Smith, Yonghee Shin, Laurie A. Williams Proposing SQL statement coverage metrics. Search on Bibsonomy SESS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF security, test, SQL, attack, SQL injection, coverage criteria, threat
27Atif M. Memon, Mary Lou Soffa, Martha E. Pollack Coverage criteria for GUI testing. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing
26Christoph S. Herrmann, Frank W. Ohl Cognitive Adequacy in Brain-Like Intelligence. Search on Bibsonomy Creating Brain-Like Intelligence The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Gordon D. Plotkin Adequacy for Infinitary Algebraic Effects (Abstract). Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
26Marcel R. Karam, Trevor J. Smedley, Sergiu M. Dascalu Unit-level test adequacy criteria for visual dataflow languages and a testing methodology. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF visual dataflow languages, Software testing, fault detection, color, fault localization
26Ajitha Rajan Coverage Metrics to Measure Adequacy of Black-Box Test Suites. Search on Bibsonomy ASE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
26Gordon D. Plotkin Adequacy for Algebraic Effects with State. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Mats Per Erik Heimdahl, George Devaraj, Robert Weber Specification Test Coverage Adequacy Criteria = Specification Test Generation Inadequacy Criteria? Search on Bibsonomy HASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Silke Kuball, John H. R. May Test-Adequacy and Statistical Testing: Combining Different Properties of a Test-Set. Search on Bibsonomy ISSRE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
26Eduardo 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 WSC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
26Gordon D. Plotkin, John Power Adequacy for Algebraic Effects. Search on Bibsonomy FoSSaCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
26Jochen Renz, Reinhold Rauh, Markus Knauff Towards Cognitive Adequacy of Topological Spatial Relations. Search on Bibsonomy Spatial Cognition The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
26Alex K. Simpson Computational Adequacy in an Elementary Topos. Search on Bibsonomy CSL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
26Andrew M. Pitts Computational Adequacy via "Mixed" Inductive Definitions. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
26Philippe Schnoebelen, Sophie Pinchinat On the Weak Adequacy of Branching-Time Remporal Logic. Search on Bibsonomy ESOP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
18Shvetha Soundararajan, James D. Arthur A Structured Framework for Assessing the "Goodness" of Agile Methods. Search on Bibsonomy ECBS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Agile Assessment, Assessing Adequacy, Linkages between Objectives, Effectiveness, Capability, Practices, Indicators, Principles
18Lu 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 ICSE (1) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF test-adequacy criterion, mutation testing
18Ben H. Smith, Laurie A. Williams On guiding the augmentation of an automated test suite via mutation analysis. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 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
18Emile Verdurand, Gilles Coppin, Franck Poirier, Olivier Grisvard Modeling Multimodal Interaction for Performance Evaluation. Search on Bibsonomy HCI (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF context adequacy, interaction language, modeling, evaluation, multimodal interaction, modality
18Cesare Bartolini, Antonia Bertolino, Sebastian G. Elbaum, Eda Marchetti Whitening SOA testing. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF coverage adequacy criteria, testing web services, service-oriented architecture, white-box testing
18Bin Zhu, Huaikou Miao, Lizhi Cai Testing a Web Application Involving Web Browser Interaction. Search on Bibsonomy SNPD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF navigation tree, browser, test case, adequacy criteria
18Ken Koster A state coverage tool for JUnit. Search on Bibsonomy ICSE Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF coverage, unit testing, structural testing, test adequacy criteria, taint analysis, state coverage
18Michael Ellims, James Bridges, Darrel C. Ince The Economics of Unit Testing. Search on Bibsonomy Empir. Softw. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Software testing, Unit testing, Test effectiveness, Adequacy criteria
18Heng 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 SIGSOFT FSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF RFID, context-aware applications, test adequacy
18Greta Yorsh, Thomas Ball, Mooly Sagiv Testing, abstraction, theorem proving: better together! Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fabricated states, state-based coverage, testing, abstraction, program analysis, abstract interpretation, coverage, theorem prover, software fault injection, adequacy criteria
18Hong Zhu 0002, Joseph Robert Horgan, S. C. Cheung 0001, J. Jenny Li The first international workshop on automation of software test. Search on Bibsonomy ICSE The full citation details ... 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
18Lionel C. Briand, Yvan Labiche, Michal M. Sówka Automated, contract-based user testing of commercial-off-the-shelf components. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF UML, component, COTS, adequacy criteria
18Ming-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 ICSM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF adequacy criterion, unit testing, test data generation, mutation testing
18Martin 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 Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Language adequacy, Haskell, ML, Verification tools, Functional programming languages
18Trung 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 ICECCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF UML, software testing, code generation, class diagram, test adequacy criteria, model execution, test execution, interaction diagrams
18Mitchell Wand, Dale Vaillancourt Relating models of backtracking. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF two-continuation semantics, streams, monads, logical relations, adequacy
18Nishant Bawa, Sudipto Ghosh Visualizing Interactions in Distributed Java Applications. Search on Bibsonomy IWPC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF method sequence, XML, UML, Application, software visualization, distributed objects, sequence diagrams, Java RMI, test adequacy criteria, interception
18Viviana Bono, Michele Bugliesi, Silvia Crafa Typed interpretations of extensible objects. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Object calculus, computational adequacy, extensible object, typed encoding, type system, subtyping, type specialization
18Sudipto Ghosh Towards Measurement of Testability of Concurrent Object-Oriented Programs Using Fault Insertion: A Preliminary Investigation. Search on Bibsonomy SCAM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Java, software testing, Concurrent programs, testability, faults, mutation analysis, test adequacy
18Vladimir L. Averbukh Toward the Conceptions of Visualization Language and Visualization Metaphor. Search on Bibsonomy HCC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF adequacy in visualizations, visualization language, visualization metaphor
18Allen S. Parrish, Stuart H. Zweben On the Relationships Among the All-Uses, All-DU-Paths, and All-Edges Testing Criteria. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF subsumes, covers, data flow testing, Adequacy criteria
18Elaine J. Weyuker More Experience with Data Flow Testing. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 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
18Ahmed Bouajjani, Susanne Graf, Joseph Sifakis A logig for the description of behaviours and properties of concurrent systems. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF compositional proof methods, process algebra, expressivity, calculus, Program logic, adequacy
18Robin Abraham, Martin Erwig Mutation Operators for Spreadsheets. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18David Schuler, Valentin Dallmeier, Andreas Zeller Efficient mutation testing by checking invariant violations. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic invariants, mutation testing
18Yael Dahan Netzer, David Gabay, Meni Adler, Yoav Goldberg, Michael Elhadad Ontology Evaluation through Text Classification. Search on Bibsonomy APWeb/WAIM Workshops The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
18Birgitta 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 ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
18Akbar Siami Namin, James H. Andrews, Duncan J. Murdoch Sufficient mutation operators for measuring test effectiveness. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF mutation analysis, testing effectiveness
18Julian Ligertwood, Margaret Jackson Transborder Data Protection and the Effects on Business and Government. Search on Bibsonomy HCI (11) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF EU, government, law, India, data protection, business, Australia
18Juan 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 EvoWorkshops The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Brandon J. Smith, Bruce R. Southey, Sandra L. Rodriguez-Zas Smoothing Spline Mixed Effects Modeling of Multifactorial Gene Expression Profiles. Search on Bibsonomy BIBM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
18Damien Charlet, Valérie Issarny, Rafik Chibout Service discovery in multi-radio networks: an assessment of existing protocols. Search on Bibsonomy MSWiM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF B3G networks, service discovery, energy consumption
18Amit M. Paradkar Case studies on fault detection effectiveness of model based test generation techniques. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Amit M. Paradkar Case studies on fault detection effectiveness of model based test generation techniques. Search on Bibsonomy A-MOST The full citation details ... 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][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license