|
|
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 |
28 | Elaine J. Weyuker |
More Experience with Data Flow Testing. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
Rapps-Weyuker data flow testing criteria, tester variability, cost assessment, data adequacy, software testing, fault detection, program testing, software cost estimation, data flow testing, numerical programs |
28 | Carlos Urias Munoz |
An Approach to Software Product Testing. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
software product testing, self-checking test cases, black box test cases, random test cases, correctness measurements, defect circumvention, sampling, program testing, program testing, automatic test case generation, exhaustive testing |
28 | Abhijit Jas, Kartik Mohanram, Nur A. Touba |
An Embedded Core DFT Scheme to Obtain Highly Compressed Test Sets. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
Test Vector Compression, External Testing, Weighted Pseudo-Random Testing, Built-In Self-Test, Embedded Processor, System-on-a-Chip, Automatic Test Equipment, At-Speed Testing, Scan Chains, Deterministic Testing |
28 | Angela Krstic, Kwang-Ting Cheng |
Generation of high quality tests for functional sensitizable paths. |
VTS |
1995 |
DBLP DOI BibTeX RDF |
high quality tests, functional sensitizable paths, long paths, untestable paths, faulty conditions, test derivation, logic testing, delays, timing, integrated circuit testing, combinational circuits, combinational circuits, automatic testing, delay testing, test vectors, timing information |
28 | Sreedevi Sampath, Renée C. Bryce, Gokulanand Viswanath, Vani Kandimalla, Akif Günes Koru |
Prioritizing User-Session-Based Test Cases for Web Applications Testing. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
pair-wise interaction coverage, pair-wise interaction testing, user-session-based testing, test case prioritization, web application testing |
28 | Mikhail Auguston, James Bret Michael, Man-tak Shing |
Environment behavior models for scenario generation and testing automation. |
A-MOST |
2005 |
DBLP DOI BibTeX RDF |
reactive and real time system testing, model-based testing, testing automation |
28 | Sandro Morasca, Stefano Serra Capizzano |
On the analytical comparison of testing techniques. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
subdomain-based testing, software testing, random testing, majorization |
28 | Alexander Pretschner, Tejeddine Mouelhi, Yves Le Traon |
Model-Based Tests for Access Control Policies. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Access Control, Model-Based Testing, Mutation Testing, Combinatorial Testing |
28 | Martín González Rodríguez, Fidel Díez Díaz, Agueda Vidau |
Remote Navigability Testing Using Data Gathering Agents. |
HCI (7) |
2007 |
DBLP DOI BibTeX RDF |
Navigability Testing, Agents, Usability Testing, ANTS, Remote Testing |
28 | Lee J. White, Khaled Jaber, Brian Robinson |
Utilization of Extended Firewall for Object-Oriented Regression Testing. |
ICSM |
2005 |
DBLP DOI BibTeX RDF |
Firewall Regression Testing, Extended Firewall Testing, Object-Oriented Software Testing |
28 | Masayuki Hirayama, Tetsuya Yamamoto, Jiro Okayasu, Osamu Mizuno, Tohru Kikuno |
A Selective Software Testing Method Based on Priorities Assigned to Functional Modules. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
Testing priority, Design of testing specification, Software testing |
28 | Eric W. MacDonald, Nur A. Touba |
Testing domino circuits in SOI technology. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
silicon-on-insulator, SOI technology, dynamic circuit styles, fault modeling analysis, overall fault coverage, parasitic bipolar leakage, CMOS logic, logic testing, integrated circuit testing, automatic testing, fault simulation, CMOS logic circuits, leakage currents, domino circuits |
28 | Ameet Bagwe, Rubin A. Parekhji |
Functional testing and fault analysis based fault coverage enhancement techniques for embedded core based systems. |
Asian Test Symposium |
2000 |
DBLP DOI BibTeX RDF |
fault coverage enhancement, embedded core based systems, test constraints, Texas Instruments TMS320C27xx, memory wrapper logic, fault diagnosis, logic testing, integrated circuit testing, application specific integrated circuits, functional testing, digital signal processing chips, fault analysis |
28 | Marisa A. Sanchez, Juan Carlos Augusto |
Testing an Implementation of a Temporal Logic Language. |
SCCC |
2000 |
DBLP DOI BibTeX RDF |
temporal logic language, language implementation testing, Temporal Prolog, Hilbert model, formal specification, logic programming, temporal logic, temporal logic, PROLOG, program testing, specification-based testing, inference rules, axioms, program errors |
28 | Hans Schaefer |
Tutorial: organizing, managing and optimizing software testing. |
APSEC |
1997 |
DBLP DOI BibTeX RDF |
serious defects, testing process control, software testing, program testing, cost, philosophy |
28 | Chen-Yang Pan, Kwang-Ting Cheng |
Implicit functional testing for analog circuits. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
implicit functional testing, linear time-invariant circuits, impulse response samples, pseudo-random technique, production testing time, yield coverages, VLSI, integrated circuit testing, fault coverage, analog circuits, analogue integrated circuits, mixed analogue-digital integrated circuits, transient response |
28 | Lee J. White |
Regression Testing of GUI Event Interactions. |
ICSM |
1996 |
DBLP DOI BibTeX RDF |
Pairwise Event Interaction, GUI Function Testing, Regression Testing, GUI Testing |
28 | James A. Whittaker, Michael G. Thomason |
A Markov Chain Model for Statistical Software Testing. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
statistical software testing, software field quality, software usage, test input sequences, multiple probability distributions, sequence generating properties, probability, software quality, Markov processes, program testing, stochastic model, statistical inference, software failures, Markov chain model, testing process |
28 | Richard N. Taylor, David L. Levine, Cheryl D. Kelly |
Structural Testing of Concurrent Programs. |
IEEE Trans. Software Eng. |
1992 |
DBLP DOI BibTeX RDF |
structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs |
28 | Richard G. Hamlet, Ross Taylor |
Partition Testing Does Not Inspire Confidence. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
expected failures, abstract, program testing, program testing, system recovery, failure detection, partition testing, theoretical models |
28 | Robert S. Matthews, K. H. Muralidhar, Steven Sparks |
MAP 2.1 Conformance Testing Tools. |
IEEE Trans. Software Eng. |
1988 |
DBLP DOI BibTeX RDF |
MAP 2.1 conformance testing tools, run-time components, high-level control tool, document handling tools, manufacturing computer control, protocols, monitoring, software tools, program testing, program testing, ISO, test engines |
28 | Tetsuro Katayama, Zengo Furukawa, Kazuo Ushijima |
Design and Implementation of Test-Case Generation for Concurrent Programs. |
APSEC |
1998 |
DBLP DOI BibTeX RDF |
Event InterActions Graph(EIAG), software testing, concurrent programs, test-cases, structural testing, testing criteria, task-types |
28 | A. Jefferson Offutt, Stephen D. Lee |
An Empirical Evaluation of Weak Mutation. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
weak mutation, fault-based technique, unit-level software testing, computational savings, software engineering, efficiency, program testing, effectiveness, mutation testing |
28 | Alexandre Duarte, Gustavo Wagner, Francisco Vilar Brasileiro, Walfredo Cirne |
Multi-environment software testing on the grid. |
PADTAD |
2006 |
DBLP DOI BibTeX RDF |
unit testing, computational grid, JUnit, distributed testing |
28 | Roy Patrick Tan, Stephen Edwards |
Evaluating Automated Unit Testing in Sulu. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
automated unit testing, software engineering, software testing, programming languages, design by contract, test evaluation |
28 | Ravidutta Kodre, Hadar Ziv, Debra J. Richardson |
Statistical Sampling Based Approach to Alleviate Log Replay Testing. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Coupon Collector, Log Replay testing, Sampling in Log replay testing |
28 | David Cebrián, Valentín Valero Ruiz, Fernando Cuartero |
Automation of Avionic Systems Testing. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
grammar testing, Real time systems, Testing, Avionics systems |
28 | Hana Sevcikova, Alan Borning, David Socha, Wolf-Gideon Bleek |
Automated testing of stochastic systems: a statistically grounded approach. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
software engineering, software testing, unit tests, hypothesis testing, stochastic algorithms |
28 | Yogesh Singh, Anju Saha |
Enhancing Data Flow Testing of Classes through Design by Contract. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
design by contract, object oriented testing, data flow testing |
28 | Guoqiang Shu, Yating Hsu, David Lee 0001 |
Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. |
FORTE |
2008 |
DBLP DOI BibTeX RDF |
Fuzz testing, Security Testing, Protocol Synthesis |
28 | W. K. Chan 0001, Tsong Yueh Chen, S. C. Cheung 0001, T. H. Tse, Zhenyu Zhang 0004 |
Towards the Testing of Power-Aware Software Applications for Wireless Sensor Networks. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
WSN application, Wireless sensor network, software testing, power awareness, test automation, test oracle, metamorphic testing |
28 | Abhishek Singh 0001, Jim Plusquellic, Dhananjay S. Phatak, Chintan Patel |
Defect Simulation Methodology for iDDT Testing. |
J. Electron. Test. |
2006 |
DBLP DOI BibTeX RDF |
iDDT, transient current testing, device testing, ATPG, fault simulation, IDDQ, defect simulation, defect-based test |
28 | Yu Lei 0001, Richard H. Carver |
Reachability Testing of Concurrent Programs. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
Software testing, concurrent programming, reachability testing |
28 | Avik Sinha, Carol S. Smidts |
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications. |
ACM Trans. Softw. Eng. Methodol. |
2006 |
DBLP DOI BibTeX RDF |
HaskellDB, database-specific test case generation, domain-specific testing, test generation tools, domain-specific languages, Haskell, model-based testing, Test case generation |
28 | Kwang Ik Seo, Eun Man Choi |
Comparison of Five Black-box Testing Methods for Object-Oriented Software. |
SERA |
2006 |
DBLP DOI BibTeX RDF |
Comparison of testing methods, Performance of testing methods, Specification-based test, Black-box test |
28 | Henry Muccini, Marcio S. Dias, Debra J. Richardson |
Towards software architecture-based regression testing. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
architecture-based testing and analysis, regression testing (RT), software architecture (SA), dependable systems |
28 | Wei-Tek Tsai, Yinong Chen, Dawei Zhang, Hai Huang 0011 |
Voting Multi-Dimensional Data with Deviations for Web Services under Group Testing. |
ICDCS Workshops |
2005 |
DBLP DOI BibTeX RDF |
Clustering, Voting, Group Testing, Web Services Testing |
28 | Ronitt Rubinfeld, Rocco A. Servedio |
Testing monotone high-dimensional distributions. |
STOC |
2005 |
DBLP DOI BibTeX RDF |
monotone distributions, property testing, distribution testing, sublinear algorithms |
28 | Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa |
Demand-driven structural testing with dynamic instrumentation. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
demand-driven instrumentation, testing, structural testing, code coverage, Java programming language |
28 | Changhai Nie, Baowen Xu, Liang Shi, Guowei Dong |
Automatic Test Generation for N-Way Combinatorial Testing. |
QoSA/SOQUA |
2005 |
DBLP DOI BibTeX RDF |
software testing, test generation, combinatorial testing |
28 | T. H. Tse, Stephen S. Yau, W. K. Chan 0001, Heng Lu 0001, Tsong Yueh Chen |
Testing Context-Sensitive Middleware-Based Software Applications. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
RCSM, middleware-based application, metamorphic testing, Property-based testing |
28 | Alessandro Orso, Nanjuan Shi, Mary Jean Harrold |
Scaling regression testing to large software systems. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
testing, software maintenance, software evolution, regression testing, test selection |
28 | Atif M. Memon, Mary Lou Soffa |
Regression testing of GUIs. |
ESEC / SIGSOFT FSE |
2003 |
DBLP DOI BibTeX RDF |
GUI call-graph, GUI control-flow graph, call-tree, classification of events, repairing test cases, regression testing, GUI testing |
28 | C. P. Ravikumar, Nitin Kakkar, Saurabh Chopra |
Mutual Testing based on Wavelet Transforms. |
VLSI Design |
2003 |
DBLP DOI BibTeX RDF |
Mutual Testing, Discrete Wavelet Transform, At-Speed Testing |
28 | Lee J. White, Husain Almezen, Shivakumar Sastry |
Firewall Regression Testing of GUI Sequences and their Interactions. |
ICSM |
2003 |
DBLP DOI BibTeX RDF |
Complete Interaction GUI Sequences, Graphical User Interfaces, Regression Testing, GUI Testing |
28 | Marcel Dix, Holger D. Hofman |
Automated Software Robustness Testing - Static and Adaptive Test Case Design Methods. |
EUROMICRO |
2002 |
DBLP DOI BibTeX RDF |
Software robustness, test procedures, test case reduction, testing, adaptive testing |
28 | Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou |
Fault-Based Testing in the Absence of an Oracle. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
symbolic execution, Fault-based testing, metamorphic testing, oracle problem |
28 | Hong Mei 0001 |
End-to-End Integration Testing in CBSD. |
COMPSAC |
2001 |
DBLP DOI BibTeX RDF |
End-to-End Testing, Feature Interaction, CBSD, Integration Testing |
28 | Edwin S. Hong, Richard E. Ladner |
Group Testing for Image Compression. |
Data Compression Conference |
2000 |
DBLP DOI BibTeX RDF |
Wavelet image coding, Zerotree coding, Golomb codes, Hwang's generalized binary splitting algorithm, Embedded image coding, Bit-plane coding, Adaptive Golomb codes, Competitive group testing, Group testing, Rate-distortion performance |
28 | In Sang Chung, Hyeon Soo Kim, Hyun Seop Bae, Yong Rae Kwon, Byung-Sun Lee |
Testing of Concurrent Programs Based on Message Sequence Charts. |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
Concurrent Program Testing, Constraints-based Testing, Message Sequence Charts |
28 | Leesa Murray, David A. Carrington, Ian MacColl, Paul A. Strooper |
TinMan - A Test Derivation and Management Tool for Specification-Based Class Testing. |
TOOLS (32) |
1999 |
DBLP DOI BibTeX RDF |
formal methods, specification-based testing, Object-Z, testing tools |
28 | Jeffery A. Solheim, John H. Rowland |
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems. |
IEEE Trans. Software Eng. |
1993 |
DBLP DOI BibTeX RDF |
artificial software systems, top-down strategies, sandwich integration strategies, spot unit testing, bottom-up integration, defect correction, big-bang strategies, code generator, software reliability, program testing, system reliability, reliable systems, verification processes |
28 | Steven J. Zeil, Faten H. Afifi, Lee J. White |
Detection of Linear Errors via Domain Testing. |
ACM Trans. Softw. Eng. Methodol. |
1992 |
DBLP DOI BibTeX RDF |
domain testing, perturbation testing |
28 | Florentin Ipate, Mike Holcombe |
Using State Diagrams to Generate Unit Tests for Object-Oriented Systems. |
XP |
2005 |
DBLP DOI BibTeX RDF |
finite state machines, unit testing, functional testing, state diagrams, stream X-machines |
28 | Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux, Nicolas Vacelet, Mark Utting |
A subset of precise UML for model-based testing. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
UML, model-based testing, OCL |
27 | Moonzoo Kim, Yunja Choi, Yunho Kim, Hotae Kim |
Pre-testing Flash Device Driver through Model Checking Techniques. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Model Checking, Testing, Embedded Software |
27 | Davide Balzarotti, Greg Banks, Marco Cova, Viktoria Felmetsger, Richard A. Kemmerer, William K. Robertson, Fredrik Valeur, Giovanni Vigna |
Are your votes really counted?: testing the security of real-world electronic voting systems. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
security testing, voting systems, dres |
27 | Harry M. Sneed |
Testing a Web Application. |
WSE |
2004 |
DBLP DOI BibTeX RDF |
Web Applications, Evolution, Regression Testing, Assertions, File Comparison |
27 | Alexandre Petrenko, Nina Yevtushenko 0001, Jiale Huo |
Testing Transition Systems with Input and Output Testers. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
input/output transition system, test generation, fault model, conformance testing |
27 | Heejin Kim, Byoungju Choi, Seokjin Yoon |
Performance testing based on test-driven development for mobile applications. |
ICUIMC |
2009 |
DBLP DOI BibTeX RDF |
mobile applications, test-driven development(TDD), performance testing |
27 | Walter Hargassner, Thomas Hofer, Claus Klammer, Josef Pichler, Gernot Reisinger |
A Script-Based Testbed for Mobile Software Frameworks. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Software testing |
27 | Chengying Mao, Yansheng Lu, Jinlong Zhang |
Regression testing for component-based software via built-in test design. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
built-in test design, method call graph, component, regression testing, test case selection |
27 | Okehee Goh, Yann-Hang Lee |
Schedulable Online Testing Framework for Real-Time Embedded Applications in VM. |
EUC |
2007 |
DBLP DOI BibTeX RDF |
Real-Time Embedded Applications, Virtual Machine, Online Testing |
27 | Leila Naslavsky, Debra J. Richardson |
Using traceability to support model-based regression testing. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model-driven development, traceability, model-based testing |
27 | Atsushi Kawano, Daisuke Oka, Yasunori Kubo, Shinji Yamashita, Kaori Maeda, Tomoyuki Ohta, Kenji Ishida, Yoshiaki Kakuda |
A Topology Controllable Testing Environment for Mobile Ad Hoc Network Software. |
MSN |
2006 |
DBLP DOI BibTeX RDF |
Mobile Ad Hoc Networks, Software Testing |
27 | Hyunsook Do, Gregg Rothermel |
An empirical study of regression testing techniques incorporating context and lifetime factors and improved cost-benefit models. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
evaluation schemes, tegression testing, empirical studies, test case prioritization, economic models, regression test selection |
27 | F. T. Chan, W. H. Tang, Tsong Yueh Chen |
Software Testing Education and Training in Hong Kong. |
QSIC |
2005 |
DBLP DOI BibTeX RDF |
software testing, software engineering curriculum |
27 | HyungJong Kim 0002, Joonmo Kim, Kang Shin Lee, Hongsub Lee, Tae Ho Cho |
Simulation-Based Security Testing for Continuity of Essential Service. |
ICCSA (1) |
2004 |
DBLP DOI BibTeX RDF |
Service Continuity, Experimental Frame, Availability, Survivability, Vulnerability, Security Testing |
27 | Dieter Hogrefe |
Main issues in protocol testing. |
Int. J. Softw. Tools Technol. Transf. |
2003 |
DBLP DOI BibTeX RDF |
IPv6, SDL, MSC, Protocol testing, TTCN |
27 | Ivan Granja, Mário Jino |
Techniques for Regression Testing: Selecting Test Case Sets Tailored to Possibly Modified Functionalities. |
CSMR |
1999 |
DBLP DOI BibTeX RDF |
Software Maintenance, Regression Testing, Selective Retest |
27 | Huey-Der Chu, John E. Dobson, I-Chiang Liu |
FAST: a framework for automating statistics-based testing. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
software quality, statistical approach, automated software testing |
27 | Liming Zhu 0001, Yan Liu 0001, Ian Gorton, Ngoc Bao Bui |
MDAbench: a tool for customized benchmark generation using MDA. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
performance, testing, code generation, MDA, model-driven development, CASE tools |
27 | Ralph Guderlei, Johannes Mayer |
Statistical Metamorphic Testing Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Alberto Avritzer, Brian Larson |
Load Testing Software Using Deterministic State Testing. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Padmanabhan Krishnan, Percy Antonio Pari Salas |
Model-Based Testing and the UML Testing Profile. |
Semantics and Algebraic Specification |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Deping Zhang, Changhai Nie, Baowen Xu |
A Markov Decision Approach to Optimize Testing Profile in Software Testing. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Arnaud Gotlieb, Patrick Bernard |
A Semi-empirical Model of Test Quality in Symmetric Testing: Application to Testing Java Card APIs. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
|
27 | Kalpesh Kapoor, Jonathan P. Bowen |
Ordering Mutants to Minimise Test Effort in Mutation Testing. |
FATES |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Ina Schieferdecker, Zhen Ru Dai, Jens Grabowski, Axel Rennoch |
The UML 2.0 Testing Profile and Its Relation to TTCN-3. |
TestCom |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Juha Itkonen, Mika Mäntylä, Casper Lassenius |
How do testers do it? An exploratory study on manual testing practices. |
ESEM |
2009 |
DBLP DOI BibTeX RDF |
|
27 | Dan Yu, Gang Ye, Shilong Ma, Naixue Xiong, Laurence Tianruo Yang |
The Spacecraft Automatic Testing System Based on Workflow. |
APSCC |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Thomas Kuhn 0001, Reinhard Gotzhein |
Model-Driven Platform-Specific Testing through Configurable Simulations. |
ECMDA-FA |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Salem Abdennadher, Saghir A. Shaikh |
Practices in Testing of Mixed-Signal and RF SoCs. |
Asian Test Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Soumen Maity, Amiya Nayak |
Improved Test Generation Algorithms for Pair-Wise Testing. |
ISSRE |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Joachim Wegener |
Evolutionary Testing Techniques. |
SAGA |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Wei Chen, Qun Ying, Yunzhi Xue, Chen Zhao |
Software Testing Process Automation Based on UTP - A Case Study. |
ISPW |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Alexander Pretschner |
Model-based testing. |
ICSE |
2005 |
DBLP DOI BibTeX RDF |
coverage, development processes, model-based development |
27 | Ziliang Wang, Sifeng Liu |
Trend testing of grey dynamic models. |
SMC (3) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Shirley Halevy, Eyal Kushilevitz |
Distribution-Free Property Testing. |
RANDOM-APPROX |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Maaret Pyhäjärvi, Kristian Rautiainen, Juha Itkonen |
Increasing Understanding of the Modern Testing Perspective in Software Product Development Projects. |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Arun N. Netravali, Krishan K. Sabnani, Ramesh Viswanathan |
Correct Passive Testing Algorithms and Complete Fault Coverage. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
|
27 | Chin-Yu Huang, Jung-Hua Lo, Sy-Yen Kuo, Michael R. Lyu |
Optimal Allocation of Testing Resources for Modular Software Systems. |
ISSRE |
2002 |
DBLP DOI BibTeX RDF |
|
27 | Artur Czumaj, Christian Sohler |
Property Testing with Geometric Queries. |
ESA |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Xiaoying Bai, Wei-Tek Tsai, Techeng Shen, Bing Li, Raymond A. Paul |
Distributed End-to-End Testing Management. |
EDOC |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Wen-Ben Jone, Paresh Gondalia, Allan Gutjahr |
Realizing a high measure of confidence for defect level analysis of random testing [VLSI]. |
IEEE Trans. Very Large Scale Integr. Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Henrik Björklund |
State Verification. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
27 | |
Part V. Standardized Test Notation and Execution Architecture. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Laura Brandán Briones, Mathias Röhl |
Test Derivation from Timed Automata. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
27 | |
Part VII. Appendices. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Donald T. Tang, Lin S. Woo |
Exhaustive Test Pattern Generation with Constant Weight Vectors. |
IEEE Trans. Computers |
1983 |
DBLP DOI BibTeX RDF |
fault testing, multilevel logic, logic testing, test pattern generation, self-testing, VLSI testing, scan path, Constant weight codes, exhaustive testing |
Displaying result #401 - #500 of 56580 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|