|
|
Venues (Conferences, Journals, ...)
|
|
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 |
25 | Xuan-Lun Huang, Ping-Ying Kang, Jiun-Lang Huang, Yung-Fa Chou, Yung-Pin Lee, Ding-Ming Kwai |
A Pre- and Post-bond Self-Testing and Calibration Methodology for SAR ADC Array in 3-D CMOS Imager. |
ETS |
2011 |
DBLP DOI BibTeX RDF |
3-D IC testing, calibration-oriented testing, pre-, post-bond testing, SAR ADC, mixed-signal testing |
25 | Mark Harman, Phil McMinn |
A Theoretical and Empirical Study of Search-Based Testing: Local, Global, and Hybrid Search. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
Royal Road, control methods and search, Genetic Algorithms, performance, algorithms, artificial intelligence, measurement, theory, experimentation, problem solving, testing tools, Hill Climbing, testing and debugging, Evolutionary Testing, heuristic methods, search-based software engineering, schema theory, Automated test data generation, search-based testing |
25 | Huai Liu, Tsong Yueh Chen |
An Innovative Approach to Randomising Quasi-random Sequences and Its Application into Software Testing. |
QSIC |
2009 |
DBLP DOI BibTeX RDF |
Quasi-Random Testing, Non-Uniform Distribution, Software Testing, Random Testing, Adaptive Random Testing |
25 | Oded Goldreich 0001, Shafi Goldwasser, Dana Ron |
Property Testing and Its Connection to Learning and Approximation. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
unknown function, property testing algorithm, graph property testing, k-colorable graph, /spl rho/-clique, input graph, testing, approximation, querying, assertions, probabilistic algorithm, learning theory, property testing |
25 | Ravi Kumar 0001, D. Sivakumar 0001 |
Efficient Self-Testing/Self-Correction of Linear Recurrences. |
FOCS |
1996 |
DBLP DOI BibTeX RDF |
efficient self-testing, efficient self-correction, self-tester design, self-corrector design, result-checkers, linear function testing, counting arguments, matrix twist, convolution identities, VLSI chip testing, randomness-efficient self-tester, rational domains, signal processing, finite fields, program testing, polynomials, reduction, functions, spectral analysis, matrix groups, linear recurrences, control engineering |
25 | Vladimir V. Saposhnikov, Alexej Dmitriev, Michael Gössel, Valerij V. Saposhnikov |
Self-dual parity checking-A new method for on-line testing. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
self-dual parity checking, self-dual complement, VLSI, logic testing, Boolean functions, Boolean function, integrated circuit testing, automatic testing, fault coverage, integrated logic circuits, online testing, error checking |
25 | Peter Wohl, John A. Waicukauski, Matthew Graf |
Testing "untestable" faults in three-state circuits. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
three-state circuits, complex CMOS designs, nonconventional circuits, test generation techniques, circuit particularities, fault diagnosis, logic testing, integrated circuit testing, automatic testing, CMOS logic circuits, test coverage, multivalued logic circuits, computer testing, CPU time, test vector generation, untestable faults, automatic learning |
25 | O. A. Petlin, Stephen B. Furber |
Scan testing of asynchronous sequential circuits. |
Great Lakes Symposium on VLSI |
1995 |
DBLP DOI BibTeX RDF |
micropipeline design style, combinational block, state holding elements, standard test generation techniques, VLSI, logic testing, delays, integrated circuit testing, logic design, sequential circuits, asynchronous circuits, integrated logic circuits, delay faults, boundary scan testing, scan testing, single stuck-at faults, asynchronous sequential logic, asynchronous sequential circuits |
25 | Naveena Nagi, Abhijit Chatterjee, Ashok Balivada, Jacob A. Abraham |
Efficient multisine testing of analog circuits. |
VLSI Design |
1995 |
DBLP DOI BibTeX RDF |
waveform analysis, biquadratic filters, multisine testing, test waveform generation, test confidence, fault-based automatic test pattern generator, successive gradient method, sinusoidal signals, fault coverage maximization, biquadratic filter, AC testing, analog IC, fault diagnosis, built-in self test, integrated circuit testing, automatic testing, analog circuits, built-in test, analogue integrated circuits, linear analog circuits |
25 | Irith Pomeranz, Sudhakar M. Reddy |
Testing of Fault-Tolerant Hardware Through Partial Control of Inputs. |
IEEE Trans. Computers |
1993 |
DBLP DOI BibTeX RDF |
fault-tolerant hardware, redundant digital systems, critical input set problem, circuit description, fault tolerant computing, testing strategies, computer testing, deterministic testing, exhaustive testing |
25 | Seyed H. Hosseini, Nizar Jamal |
Efficient Distributed Algorithms for Self Testing of Multiple Processor Systems. |
IEEE Trans. Computers |
1992 |
DBLP DOI BibTeX RDF |
interprocessor links, testing overhead, performance evaluation, performance, reliability, distributed algorithms, fault tolerant computing, multiprocessing systems, automatic testing, simulation results, self testing, multiple processor systems, dynamic testing |
25 | Sampath Rangarajan, Donald S. Fussell, Miroslaw Malek |
Built-In Testing of Integrated Circuit Wafers. |
IEEE Trans. Computers |
1990 |
DBLP DOI BibTeX RDF |
integrated circuit wafers, silicon wafers, VLSI, integrated circuit testing, automatic testing, built-in testing, production testing |
25 | Jyh-Charn Liu, Kang G. Shin |
Polynomial Testing of Packet Switching Networks. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
polynomial testing, multiple stuck-at fault model, functional testing method, network level, switch level, network-level testing, built-in tester, multiprocessor interconnection networks, packet switching, multiprocessor systems, automatic testing, polynomials, multistage interconnection networks, packet switching networks, routing dynamic |
25 | Tsong Yueh Chen, Man Fai Lau, Kwan Yong Sim, Chang-Ai Sun |
On detecting faults for Boolean expressions. |
Softw. Qual. J. |
2009 |
DBLP DOI BibTeX RDF |
MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification |
25 | Michael Ellims, Darrel C. Ince, Marian Petre |
The Effectiveness of T-Way Test Data Generation. |
SAFECOMP |
2008 |
DBLP DOI BibTeX RDF |
t-way testing, Software testing, random testing, unit test, mutation, combinatorial design, automated test generation, pairwise testing |
25 | Antonia Bertolino, Martina Marré |
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
program branch testing, program flowgraph, program inputs, ddgraph, graph theoretic principles, arc trees, unconstrained arcs, implied tree, recursive iteration, software analysis tool, automated testing tool, software tools, program testing, flexibility, trees (mathematics), dominance, program diagnostics, control flow analysis, simplicity, implication, program control structures, flow graphs, dominator tree, selection strategy, infeasible paths, software testing tool, path covers |
25 | Susumu Fujiwara, Gregor von Bochmann, Ferhat Khendek, Mokhtar Amalou, Abderrazak Ghedamsi |
Test Selection Based on Finite State Models. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
partial W-method, full fault-detection power, interaction parameters, reset function, software engineering, protocols, program testing, conformance testing, conformance testing, determinism, test suites, protocol implementations, protocol testing, test architectures, finite state models |
25 | John P. J. Kelly, Susan C. Murphy |
Achieving Dependability Throughout the Development Process: A Distributed Software Experiment. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
B/B testing, multiple independent implementations, distributed communication protocol, complex concurrent processing systems, data communication systems, formal specification, protocols, Ada, Ada, software testing, distributed processing, dependability, program testing, automated testing, computer communications software, distributed software engineering |
25 | Sebastian Wieczorek, Alin Stefanescu |
Improving Testing of Enterprise Systems by Model-Based Testing on Graphical User Interfaces. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
UI Testing, System-level Testing, Service-oriented Architecture, Model-based Testing, Enterprise Systems |
25 | Adnan Causevic, Daniel Sundmark, Sasikumar Punnekkat |
An Industrial Survey on Contemporary Aspects of Software Testing. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
testing practices, agile testing, Software testing |
25 | René David, Antoine Fuentes, Bernard Courtois |
Random Pattern Testing Versus Deterministic Testing of RAM's. |
IEEE Trans. Computers |
1989 |
DBLP DOI BibTeX RDF |
random pattern testing, double faults, classical fault models, multiple-coupling faults, Markov chains, integrated circuit testing, Markov processes, random-access storage, RAMs, test patterns, parameters, random-access memories, pattern-sensitive faults, deterministic testing, single faults |
25 | Fei-Ching Kuo, Tsong Yueh Chen, Huai Liu, Wing Kwong Chan |
Enhancing adaptive random testing for programs with high dimensional input domains or failure-unrelated parameters. |
Softw. Qual. J. |
2008 |
DBLP DOI BibTeX RDF |
Fixed-sized-candidate-set ART, High dimension problem, Failure-unrelated parameters, Software testing, Random testing, Adaptive random testing |
25 | Xiaofang Zhang, Baowen Xu, Zhenyu Chen 0001, Changhai Nie, Leifang Li |
An Empirical Evaluation of Test Suite Reduction for Boolean Specification-Based Testing (Short Paper). |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
boolean testing, optimization, software testing, test suite reduction, testing requirement |
25 | Ping Li, Toan Huynh, Marek Z. Reformat, James Miller 0001 |
A practical approach to testing GUI systems. |
Empir. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Two-tierd testing, GUI component, Complete interaction sequence, Testing, GUI, GUI testing, Event sequence |
25 | Fei-Ching Kuo, Tsong Yueh Chen, Huai Liu, W. K. Chan 0001 |
Enhancing adaptive random testing in high dimensional input domains. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
fix-sized-candidate-set ART, high dimension problem, software testing, random testing, adaptive random testing |
25 | Pedro de Alcântara dos Santos Neto, Rodolfo F. Resende, Clarindo Isaías Pereira da Silva e Pádua |
Requirements for information systems model-based testing. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
software testing, model-based testing, testing automation, test requirements |
25 | D. Richard Kuhn, Vadim Okun |
Pseudo-Exhaustive Testing for Software. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
software testing, automated testing, combinatorial testing |
25 | Johannes Mayer, Ralph Guderlei |
On Random Testing of Image Processing Applications. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
test data selection, Random Testing, testing oracle, Metamorphic Testing, test evaluation |
25 | Xiaoyuan Xie, Liang Shi, Changhai Nie, Yanxiang He, Baowen Xu |
A Dynamic Optimization Strategy for Evolutionary Testing. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
Software testing, dynamic optimization, structural testing, evolutionary testing |
25 | Inali Wisniewski Soares, Silvia Regina Vergilio |
Mutation Analysis and Constraint-Based Criteria: Results from an Empirical Evaluation in the Context of Software Testing. |
J. Electron. Test. |
2004 |
DBLP DOI BibTeX RDF |
structural testing criteria, constraint-based testing, mutation testing |
25 | María José Suárez Cabal, Javier Tuya |
Using an SQL coverage measurement for testing database applications. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
SQL testing, statement coverage, software testing, verification and validation, database testing |
25 | Tsong Yueh Chen, Robert G. Merkel, G. Eddy, P. K. Wong |
Adaptive Random Testing Through Dynamic Partitioning. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
proportional sampling strategy, random testing, adaptive random testing, partition testing |
25 | Márcio Eduardo Delamaro, José Carlos Maldonado, Aditya P. Mathur |
Interface Mutation: An Approach for Integration Testing. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
mutation testing, testing tool, integration testing, mutation analysis, Test adequacy criteria |
25 | Sandrine-Dominique Gouraud, Alain Denise, Marie-Claude Gaudel, B. Marr |
A New Way of Automating Statistical Testing Methods. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
statistical and random testing, software testing, constraint solving, structural testing, combinatorial structures |
25 | Wei-Tek Tsai, Yongzhong Tu, Weiguang Shao, Ezra Ebner |
Testing Extensible Design Patterns in Object-Oriented Frameworks through Scenario Templates. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Testing Object-Oriented Design Patterns, Testing Object-Oriented Frameworks, Testing |
25 | Bev Littlewood, David Wright 0001 |
Some Conservative Stopping Rules for the Operational Testing of Safety-Critical Software. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
operational testing, testing stopping rule, software reliability, Safety-critical software, statistical testing |
25 | J. Jenny Li, Hong Liu, Rudolph E. Seviora |
Constructing automated protocol testing oracles to accommodate specification nondeterminism. |
ICCCN |
1997 |
DBLP DOI BibTeX RDF |
automated protocol testing oracles, specification nondeterminism, test inputs, test outputs, automated output checking, and-state method, concurrent system states generation, Specification and Description Language, automatic testing, random testing, SDL, experimental results, nondeterminism, network system, computational cost reduction |
25 | Hadar Ziv, Debra J. Richardson |
Constructing Bayesian-network models of software testing and maintenance uncertainties. |
ICSM |
1997 |
DBLP DOI BibTeX RDF |
Bayesian-network models, software maintenance uncertainties, software testing uncertainties, software developer confidence, software component updating, software uncertainty modelling, Beckman Instruments, software evolution, program testing, regression testing, Bayesian belief networks, Java program, software artifacts, change impact |
25 | Sandeep Pagey, Ajay Khoche, Erik Brunvand |
DFT for fast testing of self-timed control circuits. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
fast testing, self-timed control circuits, execution paths, simultaneous testing, OCCAM based circuit compiler, OCCAM program, self-timed macro-modules, modified modules, macromodules, fault diagnosis, logic testing, delays, design for testability, DFT, logic CAD, asynchronous circuits, translation, program compilers, automatic test software |
25 | Walter W. Weber, Adit D. Singh |
An experimental evaluation of the differential BICS for IDDQ testing. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
differential BICS, CMOS test chips, inter-layer shorts, intra-layer shorts, fault diagnosis, integrated circuit testing, fault coverage, CMOS integrated circuits, opens, built-in current sensor, IC testing, I/sub DDQ/ testing, electric current measurement, electric sensing devices |
25 | David W. Binkley |
Reducing the cost of regression testing by semantics guided test case selection. |
ICSM |
1995 |
DBLP DOI BibTeX RDF |
semantics guided test case selection, semantic differences, common execution patterns, interprocedural slice, calling context slice, software maintenance, software maintenance, program testing, program testing, regression testing, cost, software cost estimation, language semantics |
25 | Daniel Hoffman, Paul A. Strooper |
Automated Module Testing in Prolog. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs |
25 | Nozer D. Singpurwalla |
Determining an Optimal Time Interval for Testing and Debugging Software. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
optimal time interval, single-state testing, software testing, uncertainty, decision-making, software reliability, program testing, probabilistic models, decision theory, decision theory, costs, programming theory, program debugging, utility function, optimization problem, software failure, software debugging, expected utility, maximization |
25 | Jae-Hee Lim, Suk-Hoon Song, Tae-Yong Kuc, Hong-Seong Park, Hong-Seak Kim |
A Hierarchical Test Model and Automated Test Framework for RTC. |
FGIT |
2009 |
DBLP DOI BibTeX RDF |
Robot Software Component Testing, Robot Hardware Testing, Hierarchical Test Model, Automated Testing System, Robotics |
25 | Xuan-Tu Tran, Yvain Thonnart, Jean Durupt, Vincent Beroulle, Chantal Robach |
A Design-for-Test Implementation of an Asynchronous Network-on-Chip Architecture and its Associated Test Pattern Generation and Application. |
NOCS |
2008 |
DBLP DOI BibTeX RDF |
NoC testing, QDI asynchronous logic, Network-on-Chip, DfT, testability, NoC, Design-for-Test, GALS, SoC testing, testing methodology, on-chip communication, Globally Asynchronous - Locally Synchronous |
25 | Mike Holcombe, Florentin Ipate |
Complete Test Generation for Extreme Programming. |
XP |
2004 |
DBLP DOI BibTeX RDF |
unit testing, Functional testing, acceptance testing, test set generation, X-machines |
25 | Yuen-Tak Yu, Man Fai Lau, Tsong Yueh Chen |
Using the Incremental Approach to Generate Test Sets: A Case Study. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
Empirical study, test case generation, specification-based testing, partition testing, fault-based testing |
25 | Asim Jalis |
Probe Tests: A Strategy for Growing Automated Tests around Legacy Code. |
XP/Agile Universe |
2002 |
DBLP DOI BibTeX RDF |
NUnit, xUnit, refactoring, Unit testing, functional testing, automated testing, logging, C#, .NET, legacy code, mock objects, embedded tests |
25 | Nuo Li, JeeHyun Hwang, Tao Xie 0001 |
Multiple-implementation testing for XACML implementations. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
multiple-implementation testing, policy decision point, testing, XACML, access control policy |
25 | Nikolai Tillmann, Jonathan de Halleux |
White-box testing of behavioral web service contracts with Pex. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
web service, testing, unit testing, symbolic execution |
25 | Fatiha Zaïdi, Emmanuel Bayse, Ana R. Cavalli |
Network protocol interoperability testing based on contextual signatures and passive testing. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
contextual signatures, communication protocols, WAP, interoperability testing, passive testing |
25 | Raul Garcia |
Case study: experiences on SQL language fuzz testing. |
DBTest |
2009 |
DBLP DOI BibTeX RDF |
fuzz testing, security, testing, SQL, case study, SQL server |
25 | Alessandro Marchetto 0001, Paolo Tonella, Filippo Ricca |
State-Based Testing of Ajax Web Applications. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Testing, Web Application, AJAX, State-based Testing |
25 | Sergey V. Zelenov, Sophia A. Zelenova |
Model-Based Testing of Optimizing Compilers. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
compiler testing, formalization of requirements, formal data model, model based testing, test data generation |
25 | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
global symbolic evaluation, program proving, semi-proving, program testing, symbolic execution, metamorphic testing |
25 | Jean Scholtz |
Adaptation of Traditional Usability Testing Methods for Remote Testing. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
usability testing, web usability, remote testing |
25 | Xia Yin, Zhiliang Wang, Chuanming Jing, Xingang Shi |
A TTCN-3-based protocol testing system and its extension. |
Sci. China Ser. F Inf. Sci. |
2008 |
DBLP DOI BibTeX RDF |
PITSv3, TTCN-3, robustness testing, protocol testing |
25 | Tai-Hua Lu, Chung-Ho Chen, Kuen-Jong Lee |
A hybrid software-based self-testing methodology for embedded processor. |
SAC |
2008 |
DBLP DOI BibTeX RDF |
embedded processor testing, fault coverage, functional testing, software-based self-test |
25 | Shalabh Goyal, Abhijit Chatterjee, Michael Purtell |
A Low-Cost Test Methodology for Dynamic Specification Testing of High-Speed Data Converters. |
J. Electron. Test. |
2007 |
DBLP DOI BibTeX RDF |
data converter testing, low-cost test and dynamic specification testing |
25 | Tianyou Wang, Jun Ni 0001 |
Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time in Computerized Testing. |
International Conference on Computational Science (3) |
2007 |
DBLP DOI BibTeX RDF |
social implications of IT, educational and psychological testing, computerized testing, education measurement, parallel computing, HPC |
25 | Constantin Sârbu, Andréas Johansson, Falk Fraikin, Neeraj Suri |
Improving Robustness Testing of COTS OS Extensions. |
ISAS |
2006 |
DBLP DOI BibTeX RDF |
Software testing, operating system, COTS, device driver, robustness testing |
25 | Sira Vegas, Victor R. Basili |
A Characterisation Schema for Software Testing Techniques. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
testing technique selection, characterisation schema, Software testing |
25 | Irith Pomeranz, Sudhakar M. Reddy |
Concurrent Online Testing of Identical Circuits Using Nonidentical Input Vectors. |
IEEE Trans. Dependable Secur. Comput. |
2005 |
DBLP DOI BibTeX RDF |
Concurrent online testing, structural dependence, testing through output comparison, functional dependence |
25 | Tetsuro Katayama, Yusuke Yabuya |
Proposal of a Method to Support Testing for Java Programs with UML. |
APSEC |
2005 |
DBLP DOI BibTeX RDF |
test items, Java, Unified Modeling Language (UML), software testing, functional testing |
25 | Johannes Mayer |
Lattice-based adaptive random testing. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
random testing, adaptive random testing, test case selection |
25 | W. Eric Wong, Yu Lei, Xiao Ma |
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
concurrent program testing, all-node criterion, all-edge criterion, structural testing, reachability graph |
25 | Natalia Juristo Juzgado, Ana María Moreno 0001, Sira Vegas |
Reviewing 25 Years of Testing Technique Experiments. |
Empir. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
testing techniques, empirical body of knowledge, Testing |
25 | Lionel C. Briand, Massimiliano Di Penta, Yvan Labiche |
Assessing and Improving State-Based Class Testing: A Series of Experiments. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
testing experimentation, category partition, UML statecharts, State-based testing |
25 | Tugkan Batu, Ravi Kumar 0001, Ronitt Rubinfeld |
Sublinear algorithms for testing monotone and unimodal distributions. |
STOC |
2004 |
DBLP DOI BibTeX RDF |
monotone and unimodal distributions, property testing, distribution testing, sublinear algorithms |
25 | Manindra Agrawal, Somenath Biswas |
Primality and identity testing via Chinese remaindering. |
J. ACM |
2003 |
DBLP DOI BibTeX RDF |
Primality testing, polynomial identity testing |
25 | Henrik Bærbak Christensen |
Systematic testing should not be a topic in the computer science curriculum! |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
CS curriculum, Systematic Testing, systematic testing |
25 | Sergiy A. Vilkomir, Kalpesh Kapoor, Jonathan P. Bowen |
Tolerance of Control-Flow Testing Criteria. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
RC/DC, software testing, effectiveness, empirical evaluation, tolerance, testing criteria, MC/DC |
25 | Michael Lister |
Streaming format software for usability testing. |
CHI Extended Abstracts |
2003 |
DBLP DOI BibTeX RDF |
target customers, testing procedures, testing software, internet, usability, video, browser, websites, codec, multi-stream |
25 | Wei-Tek Tsai, Akihiro Saimi, Lian Yu, Raymond A. Paul |
Scenario-based Object-Oriented Testing Framework. |
QSIC |
2003 |
DBLP DOI BibTeX RDF |
Scenario-based testing, object-oriented test frameworks, design for change and automated test execution, design patterns, regression testing |
25 | Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou |
Metamorphic Testing and Beyond. |
STEP |
2003 |
DBLP DOI BibTeX RDF |
Follow-up test cases, semi-proving, successful test case, test case selection strategy, testing oracle, metamorphic testing |
25 | Gregg Rothermel, Roland H. Untch, Chengyun Chu, Mary Jean Harrold |
Prioritizing Test Cases For Regression Testing. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
software testing, empirical studies, regression testing, Test case prioritization |
25 | Miroslav Popovic, Vladimir Kovacevic, Miodrag R. Temerinac |
Software Testing Concept Used for MAS/C-Compiler. |
EUROMICRO |
2000 |
DBLP DOI BibTeX RDF |
software testing-tools and bit-exact verification, software testing |
25 | Manindra Agrawal, Somenath Biswas |
Primality and Identity Testing via Chinese Remaindering. |
FOCS |
1999 |
DBLP DOI BibTeX RDF |
Primality testing, Polynomial identity testing |
25 | Chin-Yu Huang, Sy-Yen Kuo, Michael R. Lyu |
Optimal Software Release Policy Based on Cost and Reliability with Testing Efficiency. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
Optimal Software Release Time, Software Reliability Modeling, Non Homogeneous Poisson Process, Testing Efficiency, Testing-Effort |
25 | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
CORBA Components Testing with Perception-Based State Behavior. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
perception-based state machine, program replay, CORBA, deterministic testing, dynamic testing |
25 | Sandra Camargo Pinto Ferraz Fabbri, José Carlos Maldonado, Paulo César Masiero, Márcio Eduardo Delamaro |
Proteum/FSM: A Tool to Support Finite State Machine Validation Based on Mutation Testing. |
SCCC |
1999 |
DBLP DOI BibTeX RDF |
Software Testing, Tools, Finite State Machines, Reactive Systems, Mutation Testing |
25 | Marlon Erthal Righi Vieira, Guilherme Horta Travassos |
An Approach to Perform Behavior Testing in Object-Oriented Systems. |
TOOLS (27) |
1998 |
DBLP DOI BibTeX RDF |
integrated software engineering environments, testing automation, object-oriented testing |
25 | Pramodchandran N. Variyam, Abhijit Chatterjee |
Test generation for comprehensive testing of linear analog circuits using transient response sampling. |
ICCAD |
1997 |
DBLP DOI BibTeX RDF |
Implicit functional testing, Transient testing, Linear Analog Circuits |
25 | Antonia Bertolino, Paola Inverardi, Henry Muccini, Andrea Rosetti |
An approach to integration testing based on architectural descriptions. |
ICECCS |
1997 |
DBLP DOI BibTeX RDF |
formal architectural descriptions, CHAM formalism, coverage strategy, software engineering, software architectures, unit testing, integration testing, architectural descriptions |
25 | Phil Stocks, David A. Carrington |
A Framework for Specification-Based Testing. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
Specification-based testing, testing strategies, test oracles, Z notation, test data |
25 | Yuan-Tzu Ting, Li Wei Chao, Wei Chung Chao |
A Practical Implementation Of Dynamic Testing Of An Ad Converter. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
AD converter, effective bits, differential nonlinearity, integral nonlinearity, mixed frequency estimation algorithm, weighted least square method, spectral average method, frequency domain estimation, logical analyzer, instrument controller, high speed data acquisition device, GPIB, Datel ADC-HS12B, programmable signal generator, algorithm, software, automatic testing, histogram, PC, signal to noise ratio, analogue-digital conversion, dynamic testing |
25 | István Forgács |
An Exact Array Reference Analysis for Data Flow Testing. |
ICSE |
1996 |
DBLP BibTeX RDF |
approximate information, definition-use pairs, exact array reference analysis, formulae negation avoidance, precise method, program path execution, program testing, data flow analysis, arrays, program optimization, data flow testing, program parallelization |
25 | Abu Khari bin A'Ain, A. H. Bratt, A. P. Dorey |
On the development of power supply voltage control testing technique for analogue circuits. |
Asian Test Symposium |
1995 |
DBLP DOI BibTeX RDF |
power supply circuits, voltage control, power supply voltage control testing, hard defects, soft defects, simulation, fault diagnosis, integrated circuit testing, data analysis, data analysis, circuit analysis computing, operational amplifiers, operational amplifier, analogue integrated circuits, IC tests, analogue circuits |
25 | Patrick Kam Lui, Jon C. Muzio |
Constrained parity testing. |
J. Electron. Test. |
1991 |
DBLP DOI BibTeX RDF |
compaction testing, parity testing, Built-in self-test, signature analysis |
25 | Yuhoon Ki, Jooyoung Seo, Byoungju Choi, Kwanghyun La |
Tool support for new test criteria on embedded systems: Justitia. |
ICUIMC |
2008 |
DBLP DOI BibTeX RDF |
embedded system testing, automation, testing tool |
25 | Ziyuan Wang, Baowen Xu, Changhai Nie |
Greedy Heuristic Algorithms to Generate Variable Strength Combinatorial Test Suite. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
variable strength, software testing, test generation, combinatorial testing |
25 | Bogdan Ionescu, Marcel Ionescu, Stejarel Veres, Dan Ionescu, Fernando Cuervo, Maike Luiken-Miller |
A Testbed and Research Network for Next Generation Services over Next Generation Networks. |
TRIDENTCOM |
2005 |
DBLP DOI BibTeX RDF |
testbed for live network testing, testing VPLS services, control platform for network and services, next generation networks |
25 | Patrick J. Schroeder, Pankaj Bolaki, Vijayram Gopu |
Comparing the Fault Detection Effectiveness of N-way and Random Test Suites. |
ISESE |
2004 |
DBLP DOI BibTeX RDF |
n-way testing, empirical study, fault injection, controlled experiment, Combinatorial testing |
25 | C. V. Ramamoorthy |
Distributed techniques in software systems integration. |
FTDCS |
1995 |
DBLP DOI BibTeX RDF |
software systems integration, distributed computing techniques, traditional software development, waterfall model, basic conceptual model, generic integration lifecycle, design, formal specification, testing, specification, software development, software tools, validation, requirements, implementation, program verification, software development management, consumer electronics, iterative testing, automation support |
25 | Yashwant K. Malaiya, Anneliese von Mayrhauser, Pradip K. Srimani |
An Examination of Fault Exposure Ratio. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
fault exposure ratio, per-fault hazard rate, detectability profile, logarithmic model, predictive capability, fault density, software testing, software reliability, software reliability, program testing |
25 | Zhen Ming Jiang |
Automated analysis of load testing results. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
software mining, dynamic analysis, load testing |
25 | Gregor von Bochmann, Guy-Vincent Jourdan |
Testing k-Safe Petri Nets. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
k -safe Petri nets, free-choice Petri nets, fault model, Conformance testing, automatic test generation |
25 | Il-Chul Yoon, Alan Sussman, Atif M. Memon, Adam A. Porter |
Effective and scalable software compatibility testing. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
software compatibility testing, component-based software system |
25 | Alessandro Orso, Tao Xie 0001 |
BERT: BEhavioral Regression Testing. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
software evolution, dynamic analysis, regression testing |
25 | Alex Groce, Rajeev Joshi |
Random testing and model checking: building a common framework for nondeterministic exploration. |
WODA |
2008 |
DBLP DOI BibTeX RDF |
model checking, dynamic analysis, random testing, test frameworks |
Displaying result #501 - #600 of 56580 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ 15][ >>] |
|