The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1952-1962 (16) 1963-1966 (19) 1967-1968 (15) 1969-1970 (15) 1971-1972 (29) 1973 (21) 1974 (29) 1975 (46) 1976 (46) 1977 (31) 1978 (77) 1979 (47) 1980 (60) 1981 (96) 1982 (141) 1983 (129) 1984 (167) 1985 (143) 1986 (137) 1987 (154) 1988 (201) 1989 (250) 1990 (301) 1991 (331) 1992 (361) 1993 (505) 1994 (461) 1995 (620) 1996 (662) 1997 (647) 1998 (698) 1999 (868) 2000 (1075) 2001 (954) 2002 (1401) 2003 (1557) 2004 (2019) 2005 (2255) 2006 (2401) 2007 (2728) 2008 (2967) 2009 (2329) 2010 (1809) 2011 (1749) 2012 (1661) 2013 (1834) 2014 (1951) 2015 (1848) 2016 (1978) 2017 (2078) 2018 (2245) 2019 (2266) 2020 (2338) 2021 (2311) 2022 (2387) 2023 (2649) 2024 (467)
Publication types (Num. hits)
article(17707) book(82) data(32) incollection(365) inproceedings(37388) phdthesis(714) proceedings(292)
Venues (Conferences, Journals, ...)
CoRR(2913) IOLTS(1094) ITC(1094) ISSTA(1044) ICST(966) ICST Workshops(861) SAT(780) VTS(620) J. Electron. Test.(487) Asian Test Symposium(446) IEEE Trans. Software Eng.(432) AQTR(418) Sensors(380) IEEE Trans. Computers(374) ICSE(340) PSTV(336) More (+10 of total 5972)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29817 occurrences of 7713 keywords

Results
Found 56580 publication records. Showing 56580 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
22Dennis Brylow, Jens Palsberg Deadline Analysis of Interrupt-Driven Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multiresolution static analysis, Real time, testing oracles
22Dennis Brylow, Jens Palsberg Deadline analysis of interrupt-driven software. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multi-resolution static analysis, real time, testing oracles
22Mary Jean Harrold, David S. Rosenblum, Gregg Rothermel, Elaine J. Weyuker Empirical Studies of a Prediction Model for Regression Test Selection. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Software maintenance, regression testing, regression test selection, selective retest
22Mohamed Zaït, Allison W. Lee, Khaled Yagoub, Ravi Sahani, Holly Casaletto, Lokesh Kumar Testing on a budget: integrating e-business certification into the Oracle DBMS testing. Search on Bibsonomy DBTest The full citation details ... 2009 DBLP  DOI  BibTeX  RDF test, SQL, query optimizer, DBMS, workload, Oracle
22Jun Chen 0018, Steve MacDonald Towards a better collaboration of static and dynamic analyses for testing concurrent programs. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Eitan Farchi Pitfalls in teaching development and testing of concurrent programs and how to overcome them. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Antonio Bucchiarone, Henry Muccini, Patrizio Pelliccione, Pierluigi Pierini Model-Checking Plus Testing: From Software Architecture Analysis to Code Testing. Search on Bibsonomy FORTE Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22José Antonio Arnedo, Ana R. Cavalli, Manuel Núñez 0001 Fast Testing of Critical Properties through Passive Testing. Search on Bibsonomy TestCom The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Sita Ramakrishnan VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Reiner Hähnle, Angela Wallenburg Using a Software Testing Technique to Improve Theorem Proving. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Guoqing Xu, Zongyuang Yang JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Harm M. A. van Beek, Sjouke Mauw Automatic Conformance Testing of Internet Applications. Search on Bibsonomy FATES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Tsong Yueh Chen, Fei-Ching Kuo, Huai Liu, Shengqiong Wang Conformance Testing of Network Simulators Based on Metamorphic Testing Technique. Search on Bibsonomy FMOODS/FORTE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Gabor Szeder Unit testing for multi-threaded Java programs. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Java
22Ido Ben-Eliezer, Tali Kaufman, Michael Krivelevich, Dana Ron Comparing the strength of query types in property testing: the case of testing k-colorability. Search on Bibsonomy SODA The full citation details ... 2008 DBLP  BibTeX  RDF
22Pu Yunming, Wang Wei A Balancing Model between Structural Testing and Functional Testing. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Jaymie Strecker, Atif M. Memon Relationships between Test Suites, Faults, and Fault Detection in GUI Testing. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Bo Yu, Liang Kong, Yufeng Zhang 0001, Hong Zhu 0002 Testing Java Components based on Algebraic Specifications. Search on Bibsonomy ICST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Tim Trew Chasing rainbows: improving software testing in the real world. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Holger Giese, Stefan Henkler, Martin Hirsch 0001 Combining Formal Verification and Testing for Correct Legacy Component Integration in Mechatronic UML. Search on Bibsonomy WADS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Shmuel Ur, Elad Yom-Tov, Paul Wernick An Open Source Simulation Model of Software Development and Testing. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Simulation, Performance, Design, Algorithms, Reliability, Verification, Measurement, Software Development, Management, Theory, Experimentation, Economics, Iterative design
22Mats Grindal, Jeff Offutt, Jonas Mellin On the Testing Maturity of Software Producing Organizations. Search on Bibsonomy TAIC PART The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Sami Beydeda Research in testing COTS components - built-in testing approaches. Search on Bibsonomy AICCSA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Ismail Berrada, Richard Castanet, Patrick Félix Testing Communicating Systems: a Model, a Methodology, and a Tool. Search on Bibsonomy TestCom The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Mika Katara Model-Based Testing Through a GUI. Search on Bibsonomy FATES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Hoijin Yoon, Eunhee Kim, Jooyoung Seo, Byoungju Choi Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study. Search on Bibsonomy FATES The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Ying Li 0013, Minglu Li 0001, Jiadi Yu Web Services Testing, the Methodology, and the Implementation of the Automation-Testing Tool. Search on Bibsonomy GCC (1) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Bram Kruseman, Stefan van den Oetelaar, Josep Rius 0001 Comparison of IDDQ Testing and Very-Low Voltage Testing. Search on Bibsonomy ITC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Yasuharu Nishi Quality-Adaptive Testing: A Strategy for Testing with Focusing on Where Bugs Have Been Detected. Search on Bibsonomy ECSQ The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Phil Stocks, David A. Carrington Test Template Framework: A Specification-Based Testing Case Study. Search on Bibsonomy ISSTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
22Lixiao Zheng, Haiming Chen A Systematic Framework for Grammar Testing. Search on Bibsonomy ACIS-ICIS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Hossain Shahriar, Mohammad Zulkernine Automatic Testing of Program Security Vulnerabilities. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Anne Miller, Balaji Kumar, Anukul Singhal Photon: A Domain-Specific Language for Testing Converged Applications. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Ajitha 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
22Yufeng Zhang 0001, Hong Zhu 0002 Ontology for Service Oriented Testing of Web Services. Search on Bibsonomy SOSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Lijun Lun, Hui Xu Analysis of the Subsume Relation between Software Architecture Testing Criteria. Search on Bibsonomy CSSE (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Chuanming Jing, Zhiliang Wang, Xingang Shi, Xia Yin, Jianping Wu Mutation Testing of Protocol Messages Based on Extended TTCN-3. Search on Bibsonomy AINA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
22Chengying Mao, Yansheng Lu CppTest: A Prototype Tool for Testing C/C++ Programs. Search on Bibsonomy ARES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Shaohua Zhang, Zhigang Ding, Yuwei Zong, Ning Gu Remote Software Testing System Based on Grid Workflow. Search on Bibsonomy CSCWD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Zhiquan Zhou, Bernhard Scholz, Giovanni Denaro Automated Software Testing and Analysis: Techniques, Practices and Tools. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Ossi Taipale, Katja Karhu, Kari Smolander Observing Software Testing Practice from the Viewpoint of Organizations and Knowledge Management. Search on Bibsonomy ESEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Kobi Inkumsah, Tao Xie 0001 Evacon: a framework for integrating evolutionary and concolic testing for object-oriented programs. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF structural coverage, test generation
22Duy Cu Nguyen, Anna Perini, Paolo Tonella A Goal-Oriented Software Testing Methodology. Search on Bibsonomy AOSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Kai-Yuan Cai, Lei Zhao, Feng Wang A Dynamic Partitioning Approach for GUI Testing. Search on Bibsonomy COMPSAC (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Liangliang Kong, Zhaolin Yin The Extension of the Unit Testing Tool Junit for Special Testings. Search on Bibsonomy IMSCCS (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Hirohisa Furuta, Akira Ishihara, Takayuki Yamaoka Reusing a System Testing Process Using with a Model. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Ossi Taipale, Kari Smolander, Heikki Kälviäinen Finding and Ranking Research Directions for Software Testing. Search on Bibsonomy EuroSPI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Shiyi Xu Pseudo-Parity Testing with Testable Design. Search on Bibsonomy Asian Test Symposium The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Peng Wu 0002 Iterative Metamorphic Testing. Search on Bibsonomy COMPSAC (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Yu Qi, David Chenho Kung, W. Eric Wong An Agent-Based Testing Approach for Web Applications. Search on Bibsonomy COMPSAC (2) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Qianxiang Wang, Lining Quan, Fuchen Ying Online Testing of Web-Based Applications. Search on Bibsonomy COMPSAC Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Tsong Yueh Chen, Hing Leung, I. K. Mak Adaptive Random Testing. Search on Bibsonomy ASIAN The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Shuang Quan Li, Huo Yan Chen, Yu Xia Sun A framework of reachability testing for Java multithread programs. Search on Bibsonomy SMC (3) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
22Annalisa De Bonis, Leszek Gasieniec, Ugo Vaccaro Generalized Framework for Selectors with Applications in Optimal Group Testing. Search on Bibsonomy ICALP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Carina Andersson, Thomas Thelin, Per Runeson, Nina Dzamashvili An Experimental Evaluation of Inspection and Testing for Detection of Design Faults. Search on Bibsonomy ISESE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Noh-Jin Park, Byoungjae Jin, K. M. George, Nohpill Park, Minsu Choi Regressive Testing for System-on-Chip with Unknown-Good-Yield. Search on Bibsonomy DFT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
22Shiyi Xu, Jianwen Chen Maximum Distance Testing. Search on Bibsonomy Asian Test Symposium The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22C. P. Ravikumar, Rahul Kumar Divide-and-Conquer IDDQ Testing for Core-Based System Chips. Search on Bibsonomy ASP-DAC/VLSI Design The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
22Alessandro Brawerman, Elias Procópio Duarte Jr. An Isochronous Testing Strategy for Hierarchical Adaptive Distributed System-Level Diagnosis. Search on Bibsonomy J. Electron. Test. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF hierarchical diagnosis, network fault management, fault-tolerance, distributed systems, distributed diagnosis
22Raymond A. Paul, Lian Yu, Wei-Tek Tsai, Xiaoying Bai Scenario-Based Functional Regression Testing. Search on Bibsonomy COMPSAC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22R. Wen URL-Driven Automated Testing. Search on Bibsonomy APAQS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
22Nancy J. Wahl Student-Run Usability Testing. Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
22Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin Partial-scan delay fault testing of asynchronous circuits. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22A. Jefferson Offutt, Jane Huffman Hayes A Semantic Model of Program Faults. Search on Bibsonomy ISSTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
22Phil Nigh, Wojciech Maly Test Generation for Current Testing (CMOS ICs). Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22Takeshi Chusho, Atsushi Tanaka, Eri Okamoto, Akinori Honda, Toru Kurosaki HITS: a symbolic testing and debugging system for multilingual microcomputer software. Search on Bibsonomy AFIPS National Computer Conference The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
22Jeffrey M. Voas, Keith W. Miller 0001 Software Testability: The New Verification. Search on Bibsonomy IEEE Softw. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
20Nelson H. F. Beebe, James S. Ball Algorithm 867: QUADLOG - a package of routines for generating Gauss-related quadrature for two classes of logarithmic weight functions. Search on Bibsonomy ACM Trans. Math. Softw. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF EISPACK pythag() function, Gauss-Chebyshev quadrature, Gauss-Jacobi quadrature, Gauss-Laguerre quadrature, Gauss-Legendre quadrature, Gauss-type quadrature, Maple symbolic algebra system, Mehler quadrature, gamma-function testing, logarithmic integrals, machine-epsilon testing, psi-function testing, software testing, software portability, orthogonal polynomials
20Ysong Yueh Yu, Sebastian P. Ng, Eric Y. K. Chan Generating, Selecting and Prioritizing Test Cases from Specifications with Tool Support. Search on Bibsonomy QSIC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF software testing, specification-based testing, Black box testing, partition testing, test case selection, classification-tree method
20Maria K. Michael, Spyros Tragoudas ATPG tools for delay faults at the functional level. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF functional-level testing, path delay fault simulation (coverage), testing digital circuits, Automatic test pattern generation, Binary Decision Diagrams, delay testing, Boolean Satisfiability, path delay fault testing
20Sandip Kundu, Sujit T. Zachariah, Sanjay Sengupta, Rajesh Galivanche Test Challenges in Nanometer Technologies. Search on Bibsonomy J. Electron. Test. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF circuit marginality testing, process marginality testing, defect based testing, path delay testing
20Keerthi Heragu, Janak H. Patel, Vishwani D. Agrawal Segment delay faults: a new fault model. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF segment delay faults, delay defect, distributed defect, rising transitions, falling transitions, transition tests, nonrobust tests, VLSI, fault diagnosis, logic testing, delays, integrated circuit testing, fault model, automatic testing, circuit analysis computing, robust tests, integrated circuit modelling, production testing, spot defect, manufacturing defects
20Nur A. Touba, Edward J. McCluskey Test point insertion based on path tracing. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF probabilistic techniques, primary inputs, insertion methods, VLSI, VLSI, fault diagnosis, logic testing, logic testing, probability, built-in self test, timing, integrated circuit testing, BIST, automatic testing, fault coverage, test point insertion, path tracing, circuit-under-test
20Stefano Barbagallo, Monica Lobetti Bodoni, Davide Medina, Fulvio Corno, Paolo Prinetto, Matteo Sonza Reorda Scan insertion criteria for low design impact. Search on Bibsonomy VTS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF scan insertion criteria, design impact, flip-flop ordering, capacitance constraints, layout information, Italtel Design Environment, logic testing, integrated circuit testing, sequential circuits, automatic testing, application specific integrated circuits, logic CAD, flip-flops, integrated circuit design, power dissipation, partial scan, design flow, boundary scan testing, scan chain, capacitance, full scan
20Jacob Savir Module level weighted random patterns. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF module level self-test architecture, pseudorandom pattern generator, universal weighting generator, scan latch, near-optimal weight, signal pins, weight control function, self-test time, logic testing, probability, integrated circuit testing, automatic testing, multivalued logic circuits, boundary scan testing, scan test, weighted random patterns, multiple input signature register
20Sudhir K. Jhajharia, Hua Swee Wang Training diploma students on ATE-related module. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF electronic equipment testing, tertiary institution, ATE-related module, diploma students, final year students, Microelectronics option, Electronics and Communication Engineering Department, Singapore Polytechnic, Singapore Polytechnic Education Model, automated test equipment, Advanced Diploma, practical training, laboratory session, training, integrated circuit testing, assessment, teaching, teaching, automatic testing, automatic test equipment, test patterns, printed circuit boards, educational courses, printed circuit testing, industry-standard, electronic engineering education
20Winfried Hahn, Andreas Hagerer, R. Kandlbinder Hardware-accelerated concurrent fault simulation: eventflow computing versus dataflow computing. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF hardware-accelerated concurrent fault simulation, eventflow computing, highly-parallel Munich Simulation Computer, compiler-driven simulation, selective trace simulation, VLSI, VLSI, fault diagnosis, logic testing, integrated circuit testing, discrete event simulation, MuSiC, automatic testing, automatic testing, circuit analysis computing, logic simulation, concurrent engineering, test vectors, data flow computing, dataflow computing
20Jacob Savir Generator choices for delay test. Search on Bibsonomy Asian Test Symposium The full citation details ... 1995 DBLP  DOI  BibTeX  RDF BIST based delay test, generator choices, delay test vector generator, nonscan designs, transition test, skewed-load delay test, shift dependency, digital logic circuits, performance, VLSI, fault diagnosis, logic testing, delays, built-in self test, integrated circuit testing, ATPG, automatic testing, flexibility, linear feedback shift register, cost, shift registers, scan designs, boundary scan testing, test vectors, timing requirement, pseudo-random test
20Yu Fang, Alexander Albicki Efficient testability enhancement for combinational circuit. Search on Bibsonomy ICCD The full citation details ... 1995 DBLP  DOI  BibTeX  RDF testability enhancement, combinational circuit testing, XOR Chain Structure, insertion points, random pattern resistant node source tracking, ISCAS85, performance evaluation, VLSI, VLSI, logic testing, controllability, built-in self test, combinational circuits, automatic testing, automatic testing, observability, testability analysis, benchmark circuits, hardware overhead, performance penalty
20Gang Luo, Gregor von Bochmann, Alexandre Petrenko Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF communicating nondeterministic finite-state machines, generalized Wp-method, conformance relation, trace-equivalence, deterministic finite-state machines, software engineering, software engineering, protocols, software testing, finite state machines, specification languages, program testing, concurrent programs, communication protocols, fault coverage, conformance testing, programming theory, SDL, reachability analysis, test suites, multiprocessing programs, test selection, protocol engineering, test sequence generation, protocol conformance testing
20Andrzej Pelc Optimal Fault Diagnosis in Comparison Models. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF nonadaptive testing, comparison models, optimal testing algorithms, fault diagnosis, fault tolerant computing, logic testing, fault detection, multiprocessing systems, fault location, adaptive testing
20A. Boneh, Jacob Savir Statistical Resistance to Detection. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1992 DBLP  DOI  BibTeX  RDF digital circuits testing, random pattern test, simulation cost, logic testing, integrated circuit testing, automatic testing, fault coverage, fault location, statistical method, digital circuit, digital circuits, detection probabilities
20Mark G. Karpovsky, Prawat Nagvajara Optimal Robust Compression of Test Responses. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1990 DBLP  DOI  BibTeX  RDF optimal robust compression, fault-free responses, VLSI, logic testing, data compression, built-in self-test, integrated circuit testing, error detectability, statistics, automatic testing, VLSI design, pseudorandom testing, test responses
20Yoon-Hwa Choi, Miroslaw Malek A Fault-Tolerant Systolic Sorter. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1988 DBLP  DOI  BibTeX  RDF VLSI sorter, fault-tolerant systolic sorter, permanent computation errors, error-checking code, redundant cells, single faulty cell, offline fault-testing, permanent stuck-at faults, testing, fault tolerant computing, reconfiguration, redundancy, integrated circuit testing, sorting, automatic testing, invariants, error detection codes, cellular arrays, algorithm-based fault tolerance, digital integrated circuits, hardware overhead, time overhead
20Macario Polo Usaola, Pedro Reales Mateo Mutation Testing Cost Reduction Techniques: A Survey. Search on Bibsonomy IEEE Softw. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF software engineering, testing tools, testing strategies, testing and debugging
20Ellen Souza 0001, Cristine Gusmão, Julio Venancio Risk-Based Testing: A Case Study. Search on Bibsonomy ITNG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Risk-Based Testing, Software Testing, Risk Management, Case Study, Testing Process
20Etiene Lamas, Erica Ferreira 0001, Marcos Ribeiro do Nascimento, Luiz Alberto Vieira Dias, Fábio Fagundes Silveira Organizational Testing Management Maturity Model for a Software Product Line. Search on Bibsonomy ITNG The full citation details ... 2010 DBLP  DOI  BibTeX  RDF Maturity Models for Software Testing, Process Management with Testing, Software Testing, Software Product Line, Experimental Software Engineering
20Shay Artzi, Julian Dolby, Frank Tip, Marco Pistoia Directed test generation for effective fault localization. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF testing web applications, automated testing, concolic testing
20Gordon Fraser 0001, Andreas Zeller Mutation-driven generation of unit tests and oracles. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF unit testing, assertions, test case generation, mutation testing, test oracles, mutation analysis, search based testing
20Andreas Apostolakis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis, Ishwar Parulkar Exploiting Thread-Level Parallelism in Functional Self-Testing of CMT Processors. Search on Bibsonomy ETS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Chip multithreading, micro-processor testing, functional self-testing, test time optimization, multiprocessors, software-based self-testing
20Fevzi Belli, Axel Hollmann, Sascha Padberg Communication Sequence Graphs for Mutation-Oriented Integration Testing. Search on Bibsonomy SSIRI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF communication sequence graphs, Software testing, mutation testing, integration testing
20Kaarthik Sivashanmugam, Senthil Palanisamy Testing SQL Server Integration Services Runtime Engine Using Model and Mock Objects. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, software quality, Automatic testing, model based testing, mock objects
20Ben W. Y. Kam, Thomas R. Dean Lessons Learned from a Survey of Web Applications Testing. Search on Bibsonomy ITNG The full citation details ... 2009 DBLP  DOI  BibTeX  RDF traditional testing, performance, effectiveness, Web application testing, testing model
20Zhi Quan Zhou, Arnaldo Sinaga, Lei Zhao, Willy Susilo, Kai-Yuan Cai Improving Software Testing Cost-Effectiveness through Dynamic Partitioning. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software testing, random testing, partition testing, dynamic partitioning
20Fei-Ching Kuo An Indepth Study of Mirror Adaptive Random Testing. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF failure detection effectiveness, Software testing, random testing, adaptive random testing, mirroring
20Lijun Mei, W. K. Chan 0001, T. H. Tse, Robert G. Merkel Tag-Based Techniques for Black-Box Test Case Prioritization for Service Testing. Search on Bibsonomy QSIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF black-box regression testing, service testing, encapsulation testing, WS-BPEL, test case prioritization
20Javier Tuya, José Javier Dolado, María José Suárez Cabal, Claudio de la Riva A controlled experiment on white-box database testing. Search on Bibsonomy ACM SIGSOFT Softw. Eng. Notes The full citation details ... 2008 DBLP  DOI  BibTeX  RDF SQL testing, software testing, controlled experiment, empirical validation, database testing
20Sagi Schliesser An Approach to ERP Testing Using Services. Search on Bibsonomy SwSTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ERP testing, Software Testing, Software quality, Automated Testing
20David C. Keezer, Dany Minier, Patrice Ducharme Source-Synchronous Testing of Multilane PCI Express and HyperTransport Buses. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF control structure reliability, multi-gigahertz testing, picosecond timing accuracy, jitter-tolerance testing, jitter injection, fault tolerance, testing
20Michael R. Wick, Daniel E. Stevenson, Paul J. Wagner Using testing and JUnit across the curriculum. Search on Bibsonomy SIGCSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF unit testing frameworks, testing, unit testing, JUnit
Displaying result #901 - #1000 of 56580 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][13][14][15][16][17][18][19][>>]
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