|
|
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 |
32 | Joakim Eriksson, Fredrik Österlind, Niclas Finne, Nicolas Tsiftes, Adam Dunkels, Thiemo Voigt, Robert Sauter, Pedro José Marrón |
COOJA/MSPSim: interoperability testing for wireless sensor networks. |
SimuTools |
2009 |
DBLP DOI BibTeX RDF |
simulation, wireless sensor networks, interoperability |
32 | Mary Jean Harrold |
Reduce, reuse, recycle, recover: Techniques for improved regression testing. |
ICSM |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Hai Hu, Chang-Hai Jiang, Kai-Yuan Cai |
Adaptive Software Testing in the Context of an Improved Controlled Markov Chain Model. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Shirley Halevy, Eyal Kushilevitz |
Distribution-Free Connectivity Testing. |
APPROX-RANDOM |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Brad Long, Paul A. Strooper |
A Case Study in Testing Distributed Systems. |
DOA |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Elaine J. Weyuker |
Comparing the Effectiveness of Testing Techniques. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Zhen Ru Dai |
UML 2.0 Testing Profile. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Machiel van der Bijl, Fabien Peureux |
I/O-automata Based Testing. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Pretschner, Martin Leucker |
Model-Based Testing - A Glossary. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Alexander Pretschner, Jan Philipps |
Methodological Issues in Model-Based Testing. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
32 | |
Part I. Testing of Finite State Machines. |
Model-Based Testing of Reactive Systems |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Andy Podgurski, Lori A. Clarke |
The Implications of Program Dependencies for Software Testing, Debugging, and Maintenance. |
Symposium on Testing, Analysis, and Verification |
1989 |
DBLP DOI BibTeX RDF |
|
32 | Ina Schieferdecker, Jens Grabowski, Theofanis Vassiliou-Gioles, George Din |
The Test Technology TTCN-3. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Mark Harman, André Baresel, David W. Binkley, Robert M. Hierons, Lin Hu 0005, Bogdan Korel, Phil McMinn, Marc Roper |
Testability Transformation - Program Transformation to Improve Testability. |
Formal Methods and Testing |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Xun Yuan, Myra B. Cohen, Atif M. Memon |
GUI Interaction Testing: Incorporating Event Context. |
IEEE Trans. Software Eng. |
2011 |
DBLP DOI BibTeX RDF |
GUITAR testing system, model-based testing, automated testing, GUI testing, combinatorial interaction testing |
31 | Shaoying Liu |
Automatic Specification-Based Testing: Challenges and Possibilities. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
Automatic testing, model-based testing, functional testing, Specification-based testing, black-box testing |
31 | Yu Liu, Hong Zhu |
An Experimental Evaluation of the Reliability of Adaptive Random Testing Methods. |
SSIRI |
2008 |
DBLP DOI BibTeX RDF |
reliability of test method, evaluation of testing methods, experiments on software testing, Software testing, random testing, adaptive random testing |
31 | Gilles Bernot, Laurent Bouaziz, Pascale Le Gall |
A Theory of Probabilistic Functional Testing. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
probabilistic testing, reliability, formal specification, software testing, random testing, functional testing, partition testing |
31 | Charles E. Stroud, Srinivasa Konala, Ping Chen, Miron Abramovici |
Built-in self-test of logic blocks in FPGAs (Finally, a free lunch: BIST without overhead!). |
VTS |
1996 |
DBLP DOI BibTeX RDF |
BIST architecture, programmable logic blocks, field programmable gate arrays, VLSI, logic testing, built-in self test, built-in self-test, integrated circuit testing, automatic testing, FPGA testing, field programmable gate array testing |
31 | Karim Arabi, Bozena Kaminska |
Oscillation-test strategy for analog and mixed-signal integrated circuits. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
circuit oscillations, oscillation test strategy, analog ICs, low-cost test method, oscillation frequency deviation, wafer-probe testing, final production testing, ASIC testing, integrated circuit testing, operational amplifiers, analogue integrated circuits, mixed analogue-digital integrated circuits, production testing, analogue-digital conversion, mixed-signal ICs |
30 | Gordon Fraser 0001, Paul Ammann |
Reachability and Propagation for LTL Requirements Testing. |
QSIC |
2008 |
DBLP DOI BibTeX RDF |
requirements testing, software testing, automated testing, test case generation, property testing |
30 | Wei-Tek Tsai, Lian Yu, Feng Zhu 0001, Raymond A. Paul |
Rapid Embedded System Testing Using Verification Patterns. |
IEEE Softw. |
2005 |
DBLP DOI BibTeX RDF |
embedded systems testing, rapid testing, verification patterns, scenario patterns, Software engineering, testing tools, testing and debugging |
30 | Elaine J. Weyuker, Filippos I. Vokolos |
Experience with Performance Testing of Software Systems: Issues, an Approach, and Case Study. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
software testing, program testing, performance testing, Software performance testing |
30 | Maneesha Dalmia, André Ivanov, Sassan Tabatabaei |
Power supply current monitoring techniques for testing PLLs. |
Asian Test Symposium |
1997 |
DBLP DOI BibTeX RDF |
power supply current monitoring, PLL testing, digital IC, VCO testing, analogue circuit testing, fault detection, phase locked loops, phase-locked loops, current testing, nonlinear circuits, mixed-signal ICs |
30 | Janusz Sosnowski, A. Kusmierczyk |
Pseudorandom versus Deterministic Testing of Intel 80x86 Processors. |
EUROMICRO |
1996 |
DBLP DOI BibTeX RDF |
Intel 80/spl times/86 processors, computer testing, pseudorandom testing, microprocessor testing, deterministic testing |
30 | Terry Lee, Ibrahim N. Hajj, Elizabeth M. Rudnick, Janak H. Patel |
Genetic-algorithm-based test generation for current testing of bridging faults in CMOS VLSI circuits. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
GA-based test generators, CMOS VLSI circuits, I/sub DDQ/ current testing, CMOS digital circuits, two-line bridging fault set, compact test set generation, genetic algorithms, VLSI, logic testing, integrated circuit testing, ATPG, automatic test pattern generator, automatic testing, fault location, bridging faults, CMOS digital integrated circuits, adaptive genetic algorithm |
30 | Hari Balachandran, D. M. H. Walker |
Improvement of SRAM-based failure analysis using calibrated Iddq testing. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
defect-bitmap dictionary, voltage testing, microprocessor cache memory, integrated circuit testing, calibration, calibration, SRAM, cache storage, failure analysis, failure analysis, IDDQ testing, current testing, defect classification, SRAM chips, integrated circuit yield, integrated circuit yield |
30 | Nur A. Touba, Edward J. McCluskey |
Applying two-pattern tests using scan-mapping. |
VTS |
1996 |
DBLP DOI BibTeX RDF |
scan-mapping, combinational mapping logic, logic testing, built-in self test, built-in self-testing, fault coverage, delay faults, pseudo-random testing, deterministic testing, two-pattern tests |
30 | Achim D. Brucker, Lukas Brügger, Burkhart Wolff |
Model-Based Firewall Conformance Testing. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
Model-based Testing, Firewall, Conformance Testing, Security Testing |
30 | Diego Latella, Mieke Massink |
On testing and conformance relations for UML statechart diagrams behaviours. |
ISSTA |
2002 |
DBLP DOI BibTeX RDF |
UML statechart diagrams, formal testing theory, conformance testing, formal semantics, testing theory |
30 | Haeng-Kon Kim |
Aspect Oriented Testing Frameworks for Embedded Software. |
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing |
2008 |
DBLP DOI BibTeX RDF |
AOP(Aspect Oriented Programming), TDD(Testing Driven Development), Embedded Software Testing, Testing Frameworks, Agile Modeling |
30 | Atifah Ali, Aamer Nadeem, Muhammad Zohaib Z. Iqbal, Muhammad Usman 0013 |
Regression Testing Based on UML Design Models. |
PRDC |
2007 |
DBLP DOI BibTeX RDF |
Change identification, UML based testing, Model based testing, Regression testing, Test case selection |
30 | Shiyi Xu |
A New Approach to Improving the Test Effectiveness in Software Testing Using Fault Collapsing. |
PRDC |
2006 |
DBLP DOI BibTeX RDF |
Software Testing, Mutation Testing, Testing Effectiveness, Fault Equivalence, Fault Dominance |
30 | Saeed Shamshiri, Hadi Esmaeilzadeh, Zainalabedin Navabi |
Instruction-level test methodology for CPU core self-testing. |
ACM Trans. Design Autom. Electr. Syst. |
2005 |
DBLP DOI BibTeX RDF |
CPU core testing, Instruction level testing, test instruction set, BIST, pipelined processor, software-based self testing |
30 | Tsong Yueh Chen, Robert G. Merkel |
Quasi-random testing. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
quasi-random sequence, random testing, automated testing, adaptive random testing, low-discrepancy sequence |
30 | James H. Andrews |
Case Study of Coverage-Checked Random Data Structure Testing. |
ASE |
2004 |
DBLP DOI BibTeX RDF |
Testing, empirical software engineering, random testing, unit testing, test oracles |
30 | Giuseppe A. Di Lucca, Massimiliano Di Penta |
Considering Browser Interaction in Web Application Testing. |
WSE |
2003 |
DBLP DOI BibTeX RDF |
Software testing, Web application testing, State-based testing |
30 | Wei-Tek Tsai, Weiguang Shao, Sanjai Rayadurgam, Jinbao Li, Raymond A. Paul |
Assurance-Based Y2K Testing. |
HASE |
1999 |
DBLP DOI BibTeX RDF |
Assurance-based testing, Y2K testing, software testing processes |
30 | João Lourenço, José C. Cunha, Henryk Krawczyk, Piotr Kuzora, Marcin Neyman, Bogdan Wiszniewski |
An integrated testing and debugging environment for parallel and distributed programs. |
EUROMICRO |
1997 |
DBLP DOI BibTeX RDF |
program testing environment, program development process, DDBG, Distributed Debugger, stand-alone tools, intermediate tool, DEIPA, deterministic execution, interactive program analysis, parallel programming, parallel programs, distributed programs, structural testing, testing tool, software integration, program specification, STEPS, debugging tool, debugging environment |
30 | Mark G. Karpovsky, Vyacheslav N. Yarmolik |
Transparent random access memory testing for pattern sensitive faults. |
J. Electron. Test. |
1996 |
DBLP DOI BibTeX RDF |
transparent memory testing, pseudoexhaustive memory testing, built-in self-test, memory testing, signature analysis, random access memory, pattern sensitive faults |
30 | Po-Ching Hsu, Sying-Jyan Wang |
Testing And Diagnosis Of Board Interconnects In Microprocessor-Based Systems. |
Asian Test Symposium |
1996 |
DBLP DOI BibTeX RDF |
multiple-board system, bus emulator, wiring interconnect, testing, fault detection, diagnosis, microprocessor, printed circuit board, printed circuit testing, hierarchical testing |
30 | Sudhakar M. Reddy |
Testing-what's missing? An incomplete list of challenges. |
ICCD |
1995 |
DBLP DOI BibTeX RDF |
testing area, quality guarantees, special-purpose procedures, integrated design and test, high-level failure models, program testing, computer testing, benchmark circuits, design cycle |
30 | Paul Ammann, Susan S. Brilliant, John C. Knight |
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
life testing, imperfect error detection, life testing, unobserved failures, confidence level, software testing, probability, software reliability, error detection, test cases, test oracles, critical systems, failure probability, software reliability assessment |
30 | A. Jefferson Offutt |
Investigations of the Software Testing Coupling Effect. |
ACM Trans. Softw. Eng. Methodol. |
1992 |
DBLP DOI BibTeX RDF |
software testing, unit testing, mutation, fault-based testing |
30 | Elaine J. Weyuker |
The Cost of Data Flow Testing: An Empirical Study. |
IEEE Trans. Software Eng. |
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 |
30 | Atif M. Memon, Qing Xie 0003 |
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software. |
IEEE Trans. Software Eng. |
2005 |
DBLP DOI BibTeX RDF |
Smoke testing, empirical studies, regression testing, test oracles, GUI testing |
30 | Igor B. Bourdonov, Alexander S. Kossatchev, Victor V. Kuliamin, Alexander K. Petrenko |
UniTesK Test Suite Architecture. |
FME |
2002 |
DBLP DOI BibTeX RDF |
automata based testing, test suite architecture, specification based testing, partition testing |
30 | Juan C. Burguillo-Rial, Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, Martín Llamas Nistal |
Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study. |
FME |
2002 |
DBLP DOI BibTeX RDF |
heuristics for testing, risk and cost of testing, test case selection, formal testing |
30 | Sebastian Benz |
Combining test case generation for component and integration testing. |
A-MOST |
2007 |
DBLP DOI BibTeX RDF |
verification, model based testing, integration testing, automatic test case generation |
30 | Weifeng Xu, Dianxiang Xu |
State-based testing of integration aspects. |
WTAOP |
2006 |
DBLP DOI BibTeX RDF |
integration aspects, aspect-oriented programming, model-based testing, integration testing, aspect-oriented modeling, state model |
30 | Kristina Winbladh, Thomas A. Alspaugh, Hadar Ziv, Debra J. Richardson |
Architecture-based testing using goals and plans. |
ROSATEA |
2006 |
DBLP DOI BibTeX RDF |
architecture-based testing, goal-driven software development, specification-based testing |
30 | Jessica Díaz, Agustín Yagüe, Pedro Pablo Alarcón, Juan Garbajosa |
A Generic Gateway for Testing Heterogeneous Components in Acceptance Testing Tools. |
ICCBSS |
2008 |
DBLP DOI BibTeX RDF |
complex systems testing, acceptance testing tools, TOPEN, middleware, validation, OSGI, gateway, test automation |
30 | Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape |
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. |
ISSTA |
2008 |
DBLP DOI BibTeX RDF |
unit testing, symbolic execution, software model checking, system testing |
30 | Justyna Zander, Zhen Ru Dai, Ina Schieferdecker, George Din |
From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
UML 2.0 Testing Profile, UML, Testing, MDA, Model transformation, MOF, TTCN-3, QVT |
30 | David Saff, Michael D. Ernst |
An experimental evaluation of continuous testing during development. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
continuous compilation, continuous testing, test-first development, unit testing |
30 | Alessandro Marchetto 0001, Filippo Ricca, Paolo Tonella |
A case study-based comparison of web testing techniques applied to AJAX web applications. |
Int. J. Softw. Tools Technol. Transf. |
2008 |
DBLP DOI BibTeX RDF |
Software testing, Web applications, AJAX, State-based testing |
30 | Wolfgang Grieskamp, Debra J. Richardson, Clay E. Williams |
OOPSLA'06 workshop outline: 1st workshop on model-based testing and object-oriented systems (M-TOOS). |
OOPSLA Companion |
2006 |
DBLP DOI BibTeX RDF |
model-based testing, object-oriented testing |
30 | Jianhua Hao, Emilia Mendes |
Usage-based statistical testing of web applications. |
ICWE |
2006 |
DBLP DOI BibTeX RDF |
unified Markov Models, web application reliability, experimentation, statistical testing, web application testing |
30 | Hyunsook Do, Sebastian G. Elbaum, Gregg Rothermel |
Supporting Controlled Experimentation with Testing Techniques: An Infrastructure and its Potential Impact. |
Empir. Softw. Eng. |
2005 |
DBLP DOI BibTeX RDF |
controlled experimentation, experiment infrastructure, Software testing, regression testing |
30 | Henrik C. Bohnenkamp, Axel Belinfante |
Timed Testing with TorX. |
FM |
2005 |
DBLP DOI BibTeX RDF |
Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata |
30 | Patrice Godefroid, Nils Klarlund, Koushik Sen |
DART: directed automated random testing. |
PLDI |
2005 |
DBLP DOI BibTeX RDF |
software testing, interfaces, program verification, random testing, automated test generation |
30 | Harry M. Sneed |
Program Comprehension for the Purpose of Testing. |
IWPC |
2004 |
DBLP DOI BibTeX RDF |
test documentation tools, testing, software comprehension, testing requirements |
30 | Jeff Tian, Li Ma, Zhao Li, Akif Günes Koru |
A Hierarchical Strategy for Testing Web-Based Applications and Ensuring Their Reliability. |
COMPSAC |
2003 |
DBLP DOI BibTeX RDF |
Web usage and modeling, quality and reliability, Markov chain, test coverage, statistical testing, structural testing, operational profile |
30 | Michael R. Lyu, Zubin Huang, Sam K. S. Sze, Xia Cai |
An Empirical Study on Testing and Fault Tolerance for Software Reliability Engineering. |
ISSRE |
2003 |
DBLP DOI BibTeX RDF |
data flow coverage testing, empirical study, software fault tolerance, mutation testing |
30 | A. Jefferson Offutt, Aynur Abdurazik, Roger T. Alexander |
An Analysis Tool for Coupling-Based Integration Testing. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
instrumentation techniques, Java Tree Builder, Java parser, program testing, integration testing, Java programs, test data, analysis tool |
30 | Tim Menzies, Bojan Cukic |
On the Sufficiency of Limited Testing for Knowledge Based Systems. |
ICTAI |
1999 |
DBLP DOI BibTeX RDF |
Abductive Testing, Software Testing, Knowledge-Based Systems, Software Reliability |
30 | Hwan Wook Sohn, David Chenho Kung, Pei Hsia |
State-Based Reproducible Testing for CORBA Applications. |
PDSE |
1999 |
DBLP DOI BibTeX RDF |
component based software testing, state testing, CORBA, replay |
30 | Ziyuan Wang, Changhai Nie, Baowen Xu |
Generating combinatorial test suite for interaction relationship. |
SOQUA |
2007 |
DBLP DOI BibTeX RDF |
interaction relationship, software testing, test generation, combinatorial testing |
30 | Hojun Jaygarl, Sunghun Kim 0001, Tao Xie 0001, Carl K. Chang |
OCAT: object capture-based automated testing. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
object capturing, object generation, object mutation, automated testing |
30 | Krzysztof Rogoz, Tomasz Padlo |
The Role of Stability Testing in Heterogeneous Application Environment. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Stability Testing, Performance, memory leak, Solaris |
30 | Harald Raffelt, Tiziana Margaria, Bernhard Steffen, Maik Merten |
Hybrid test of web applications with webtest. |
TAV-WEB |
2008 |
DBLP DOI BibTeX RDF |
automata learning, testing, web applications |
30 | Stella Levin, Amiram Yehudai |
Evolutionary Testing: A Case Study. |
Haifa Verification Conference |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, Software testing, automatic test generation |
30 | Sheng Huang, Yang Chen, Jun Zhu, Zhong Jie Li, Huafang Tan |
An optimized change-driven regression testing selection strategy for binary Java applications. |
SAC |
2009 |
DBLP DOI BibTeX RDF |
binary Java application, test case prioritization, regression testing selection |
30 | Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002 |
Randomized directed testing (REDIRECT) for Simulink/Stateflow models. |
EMSOFT |
2008 |
DBLP DOI BibTeX RDF |
simulink/stateflow models, coverage, hybrid systems, model based testing |
30 | Amir Shpilka, Ilya Volkovich |
Read-once polynomial identity testing. |
STOC |
2008 |
DBLP DOI BibTeX RDF |
bounded depth circuits, identity testing, read-once formulas, reconstruction, arithmetic circuits |
30 | Ossi Taipale, Heikki Kälviäinen, Kari Smolander |
Factors Affecting Software Testing Time Schedule. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
communication and interaction, software testing, software process improvement, regression analysis |
30 | Ossi Taipale, Kari Smolander |
Improving software testing by observing practice. |
ISESE |
2006 |
DBLP DOI BibTeX RDF |
software testing, process improvement, grounded theory |
30 | Hui Wu, Jeff Gray 0001 |
Testing domain-specific languages in eclipse. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
testing, debugging, domain-specific languages, eclipse, grammar |
30 | Eldar Fischer, Eric Lehman, Ilan Newman, Sofya Raskhodnikova, Ronitt Rubinfeld, Alex Samorodnitsky |
Monotonicity testing over general poset domains. |
STOC |
2002 |
DBLP DOI BibTeX RDF |
algorithms, property testing, monotone functions |
30 | Sita Ramakrishnan |
LIGHTVIEWS - visual interactive Internet environment for learning OO software testing. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
OO software testing, Internet, visualization, learning |
30 | Chi-Ming Chung, Timothy K. Shih, Ying-Hong Wang, Wei-Chuan Lin, Ying-Feng Kuo 0002 |
Software Testing and Metrics for Concurrent Computation. |
APSEC |
1996 |
DBLP DOI BibTeX RDF |
software testing criterion, Concurrent programs, software complexity, rendezvous, Ada language |
30 | Hassan Reza, Emanuel S. Grant |
A method to test concurrent systems using architectural specification. |
J. Supercomput. |
2007 |
DBLP DOI BibTeX RDF |
Hierarchical Predicate Transition Nets (HPrTNs), Software architecture, Software testing, Architectural Description Languages (ADLs), Concurrent systems |
30 | Gregor von Bochmann, Alexandre Petrenko |
Protocol Testing: Review of Methods and Relevance for Software Testing. |
ISSTA |
1994 |
DBLP DOI BibTeX RDF |
Lotos, OSI |
30 | Zhiliang Wang, Xia Yin, Yang Xiang, Ruiping Zhu, Shirui Gao, Xin Wu, Shijian Liu, Song Gao, Li Zhou, Peng Li |
TTCN-3 Based Conformance Testing of Mobile Broadcast Business Management System in 3G Networks. |
TestCom/FATES |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Chao-Wen Tseng, James Li, Edward J. McCluskey |
Experimental Results for Slow-Speed Testing. |
VTS |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Seon-Jae Jang, Hae-Geun Kim, Youn-Ky Chung |
Manual Specific Testing and Quality Evaluation for Embedded Software. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Fagui Liu, Chunwei Luo |
Service-Oriented Software Testing Platform. |
I3E (2) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Chin-Yu Huang, Michael R. Lyu |
Optimal testing resource allocation, and sensitivity analysis in software development. |
IEEE Trans. Reliab. |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Raymond A. Paul |
End-to-End Integration Testing. |
APAQS |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Ed Brinksma |
Formal Methods for Conformance Testing: Theory Can Be Practical. |
CAV |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Juei Chang, Debra J. Richardson |
Structural Specification-Based Testing: Automated Support and Experimental Evaluation. |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Joachim Wegener, Matthias Grochtmann |
Evolutionärer Test von Realzeitsystemen. |
Inform. Forsch. Entwickl. |
2000 |
DBLP DOI BibTeX RDF |
Realzeitsystem, Zeitverhalten, Evolutionärer Test, Evolutionäre Algorithmen, Test |
30 | Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet |
Uniform random sampling of traces in very large models. |
Random Testing |
2006 |
DBLP DOI BibTeX RDF |
randomised approximation scheme, uniform generation, model checking, random walk, model-based testing, modular models |
30 | Oded Goldreich 0001 |
Flexible Models for Testing Graph Properties. |
Computational Complexity and Property Testing |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Oded Goldreich 0001 |
On the Communication Complexity Methodology for Proving Lower Bounds on the Query Complexity of Property Testing. |
Computational Complexity and Property Testing |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Roei Tell |
A Note on Tolerant Testing with One-Sided Error. |
Computational Complexity and Property Testing |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Oded Goldreich 0001 |
The Uniform Distribution Is Complete with Respect to Testing Identity to a Fixed Distribution. |
Computational Complexity and Property Testing |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Sudhakar M. Reddy, Peter Maxwell |
Fundamentals of Small-Delay Defect Testing. |
Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits |
2014 |
DBLP BibTeX RDF |
|
30 | Mahmut Yilmaz |
Output Deviations-Based SDD Testing. |
Testing for Small-Delay Defects in Nanoscale CMOS Integrated Circuits |
2014 |
DBLP BibTeX RDF |
|
30 | Antti Huima |
Behavioral System Models versus Models of Testing Strategies in Functional Test Generation. |
Model-Based Testing for Embedded Systems |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 56580 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|