|
|
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 |
23 | Lijun Mei, W. K. Chan 0001, T. H. Tse |
Data flow testing of service-oriented workflow applications. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
workflow testing, ws-bpel, xml document model, soa, testing, xpath, xml, service-orientation, rewriting rules |
23 | Anuja Sehgal, Krishnendu Chakrabarty |
Optimization of Dual-Speed TAM Architectures for Efficient Modular Testing of SOCs. |
IEEE Trans. Computers |
2007 |
DBLP DOI BibTeX RDF |
Full-chip testing, dual-speed TAM, TAM optimization, test scheduling, test access mechanism, SOC testing |
23 | Morten Sieker Andreasen, Henrik Villemann Nielsen, Simon Ormholt Schrøder, Jan Stage |
What happened to remote usability testing?: an empirical study of three methods. |
CHI |
2007 |
DBLP DOI BibTeX RDF |
empirical study, usability testing, remote testing |
23 | R. K. Singh, Pravin Chandra, Yogesh Singh |
An evaluation of Boolean expression testing techniques. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
mutant, software testing, fault, branch testing |
23 | Natalia Juristo Juzgado, Ana María Moreno 0001, Sira Vegas, Martín Solari |
In Search of What We Experimentally Know about Unit Testing. |
IEEE Softw. |
2006 |
DBLP DOI BibTeX RDF |
testing techniques, experimentation, unit testing, empirical methods, evidence-based software engineering |
23 | Johannes Mayer |
Towards effective adaptive random testing for higher-dimensional input domains. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
random testing, adaptive random testing, test case selection |
23 | Alexandre Duarte, Walfredo Cirne, Francisco Vilar Brasileiro, Patrícia D. L. Machado |
GridUnit: software testing on the grid. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
unit testing, computational grid, JUnit, distributed testing |
23 | Johannes Mayer, Christoph Schneckenburger |
Adaptive Random Testing with Enlarged Input Domain. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
test data selection, Random Testing, Adaptive Random Testing |
23 | Changhai Nie, Baowen Xu, Ziyuan Wang, Liang Shi |
Generating Optimal Test Set for Neighbor Factors Combinatorial Testing. |
QSIC |
2006 |
DBLP DOI BibTeX RDF |
neighbor factors interaction, Software testing, combinatorial testing |
23 | Ana R. Cavalli, Stéphane Maag, Wissam Mallouli, Mikael Marche, Yves-Marie Quemener |
Application of Two Test Generation Tools to an Industrial Case Study. |
TestCom |
2006 |
DBLP DOI BibTeX RDF |
telephonic service, service testing, test generation tools, formal specification, conformance testing, Case study, automatic test generation, extended finite state machine |
23 | Tsong Yueh Chen, Fei-Ching Kuo, Zhiquan Zhou |
An effective testing method for end-user programmers. |
ACM SIGSOFT Softw. Eng. Notes |
2005 |
DBLP DOI BibTeX RDF |
software testing, end-user software engineering, metamorphic testing |
23 | Brad Arkin, Scott Stender, Gary McGraw |
Software Penetration Testing. |
IEEE Secur. Priv. |
2005 |
DBLP DOI BibTeX RDF |
security testing, software development life cycle, penetration testing |
23 | Man Fai Lau, Yuen-Tak Yu |
An extended fault class hierarchy for specification-based testing. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
Fault class analysis, software testing, test case generation, specification-based testing |
23 | Kai-Yuan Cai, Tsong Yueh Chen, Yong-Chao Li, Wei-Yi Ning, Yuen-Tak Yu |
Adaptive testing of software components. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
controlled Markov chain, software testing, software component, adaptive testing, software cybernetics |
23 | Harry M. Sneed |
Testing an E-Government Web Site. |
WSE |
2005 |
DBLP DOI BibTeX RDF |
Website Testing, Specification Analysis, Test case Extraction, XML/WSDL, Testdata Generation, Testing Web services |
23 | Zunliang Yin, Chunyan Miao, Zhiqi Shen 0001, Yuan Miao 0001 |
Actionable Knowledge Model for GUI Regression Testing. |
IAT |
2005 |
DBLP DOI BibTeX RDF |
GUI regression testing, Test case repair, Software testing, Multi-agent |
23 | Sergey V. Zelenov, Sophia A. Zelenova |
Automated Generation of Positive and Negative Tests for Parsers. |
FATES |
2005 |
DBLP DOI BibTeX RDF |
specification-based test generation, coverage criterion, compiler testing, positive tests, negative tests, BNF grammar, formal language, mutation testing, parser |
23 | Eric Ying Kwong Chan, Pak-Lok Poon, Yuen-Tak Yu |
On the Testing of Particular Input Conditions. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
particular condition, test-a-few approach, test-once approach, software testing, Black box testing, test case selection |
23 | Omar Rafiq, Leo Cacciari |
Coordination Algorithm for Distributed Testing. |
J. Supercomput. |
2003 |
DBLP DOI BibTeX RDF |
test coordination procedures, controllability, observability, distributed testing, testing architecture |
23 | Brad Long, Daniel Hoffman, Paul A. Strooper |
Tool Support for Testing Concurrent Java Components. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
concurrency, unit testing, tool support, Component testing |
23 | Lionel C. Briand, Yvan Labiche |
A UML-Based Approach to System Testing. |
Softw. Syst. Model. |
2002 |
DBLP DOI BibTeX RDF |
Testing of object-oriented systems, UML, Testability, Sequence Diagrams, System testing, Use Cases |
23 | Kuo-Chung Tai, Yu Lei 0001 |
A Test Generation Strategy for Pairwise Testing. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
software testing, test generation, pairwise testing |
23 | Martín González Rodríguez |
Automatic Data-Gathering Agents for Remote Navigability Testing. |
IEEE Softw. |
2002 |
DBLP DOI BibTeX RDF |
Data gathering Agents, Navigability Testing, Remote Navigability Testing, Navigation Models |
23 | Tsong Yueh Chen, Jianqiang Feng, T. H. Tse |
Metamorphic Testing of Programs on Partial Differential Equations: A Case Study. |
COMPSAC |
2002 |
DBLP DOI BibTeX RDF |
Program testing, partial differential equations, metamorphic testing, oracle problem |
23 | Atif M. Memon, Mary Lou Soffa, Martha E. Pollack |
Coverage criteria for GUI testing. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
GUI test coverage, event-based coverage, event-flow graph, integration tree, GUI testing, component testing |
23 | Wen-Ben Jone, K. S. Tsai |
Confidence analysis for defect-level estimation of VLSI random testing. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
defect level analysis, test confidence analysis, random testing, VLSI testing, test quality |
23 | Tsong Yueh Chen, Yuen-Tak Yu |
On the Test Allocations for the Best Lower Bound Performance of Partition Testing. |
Australian Software Engineering Conference |
1998 |
DBLP DOI BibTeX RDF |
optimal test distribution, test allocation, software testing, partition testing |
23 | Wen-Ben Jone, Sunil R. Das |
A Stochastic Method for Defect Level Analysis of Pseudorandom Testing. |
VLSI Design |
1998 |
DBLP DOI BibTeX RDF |
defect level analysis, differential equation, VLSI testing, pseudorandom testing |
23 | Silvia Regina Vergilio, José Carlos Maldonado, Mário Jino |
Constraint Based Selection of Test Sets to Satisfy Structural Software Testing Criteria. |
SCCC |
1997 |
DBLP DOI BibTeX RDF |
constraint based selection, structural software testing criteria, Constraint Based Criteria, distinct fundamentals, test data generation strategies, test data set adequacy, program testing |
23 | Gang Luo, Anindya Das, Gregor von Bochmann |
Software Testing Based on SDL Specifications with Save. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
SDL specifications, signal save construct, SDL-machines, SDL-machine transformation, input/output relationship, formal specification, software testing, programming languages, finite state machines, finite state machines, program verification, specification languages, program testing, software verification, high-level specification |
23 | Edward W. Krauser, Aditya P. Mathur, Vernon Rego |
High Performance Software Testing on SIMD Machines. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
mutant unification, program mutation, single instruction multiple data stream, software testing, software reliability, software reliability, program testing, parallel machines, parallel machines, software systems, SIMD machines |
23 | Pulei Xiong, Bernard Stepien, Liam Peyton |
Model-Based Penetration Test Framework for Web Applications Using TTCN-3. |
MCETECH |
2009 |
DBLP DOI BibTeX RDF |
model-based testing, TTCN-3, web application security, test specification, penetration testing |
23 | Syed Waseem Haider, João W. Cangussu, Kendra M. L. Cooper, Ram Dantu, Syed Haider |
Estimation of Defects Based on Defect Decay Model: ED^{3}M. |
IEEE Trans. Software Eng. |
2008 |
DBLP DOI BibTeX RDF |
Statistical methods, estimation theory, system testing, Testing and Debugging, Defect prediction, Metrics/Measurement |
23 | Dennis Jeffrey, Neelam Gupta |
Improving Fault Detection Capability by Selectively Retaining Test Cases during Test Suite Reduction. |
IEEE Trans. Software Eng. |
2007 |
DBLP DOI BibTeX RDF |
Software testing, test suite reduction, testing criteria, test suite minimization, fault detection effectiveness |
23 | Bhargav S. Gulavani, Thomas A. Henzinger, Yamini Kannan, Aditya V. Nori, Sriram K. Rajamani |
SYNERGY: a new algorithm for property checking. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
testing, software model checking, abstraction refinement, directed testing |
23 | Ming-Hao Liu 0001, You-Feng Gao, Jinhui Shan, Jiang-Hong Liu, Lu Zhang 0023, Jiasu Sun |
An Approach to Test Data Generation for Killing Multiple Mutants. |
ICSM |
2006 |
DBLP DOI BibTeX RDF |
adequacy criterion, unit testing, test data generation, mutation testing |
23 | Vishal Suthar, Shantanu Dutt |
High-diagnosability online built-in self-test of FPGAs via iterative bootstrapping. |
ACM Great Lakes Symposium on VLSI |
2005 |
DBLP DOI BibTeX RDF |
built-in self-tester (BISTer), roving tester (ROTE), FPGAs, functional testing, on-line testing, diagnosability |
23 | James H. Andrews, Yingjun Zhang |
General Test Result Checking with Log File Analysis. |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
Testing, specification, unit testing, test oracles, log file analysis, lightweight formal methods, safety verification |
23 | Ondrej Novák |
Pseudorandom, Weighted Random and Pseudoexhaustive Test Patterns Generated in Universal Cellular Automata. |
EDCC |
1999 |
DBLP DOI BibTeX RDF |
linear cyclic codes, hardware test pattern generators, weighted random testing, Cellular automata, BIST, linear feedback shift registers, pseudoexhaustive testing |
23 | Pu-Lin Yeh, Jin-Cherng Lin |
Software Testability Measurements Derived from Data Flow Analysis. |
CSMR |
1998 |
DBLP DOI BibTeX RDF |
software testability, software testing, software measurement, data flow, testing criteria |
23 | David W. Binkley |
Semantics Guided Regression Test Cost Reduction. |
IEEE Trans. Software Eng. |
1997 |
DBLP DOI BibTeX RDF |
CTR Categories and Subject Descriptors: D.2.2 [Software Engineering]: tools and techniques—programmer workbench, D.2.5 [Software Enginering]: testing and debugging, D.3.3 [Programming Languages]: language constructs—control structures, functions and subroutines, E.1 [Data Structures] graphs, other keywords: slicing, regression testing, procedures |
23 | Sreejit Chakravarty |
On the capability of delay tests to detect bridges and opens. |
Asian Test Symposium |
1997 |
DBLP DOI BibTeX RDF |
defective IC, faulty dynamic logic behavior, transition tests, simulation, integrated circuit testing, delay tests, bridges, opens, at-speed testing, path delay tests |
23 | Hong Zhu 0002 |
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
subsume relation, Software testing, test adequacy criteria, testing scenarios, fault detecting ability |
23 | Mei-Hwa Chen, Michael R. Lyu, W. Eric Wong |
An empirical study of the correlation between code coverage and reliability estimation. |
IEEE METRICS |
1996 |
DBLP DOI BibTeX RDF |
aircraft control, software reliability estimation, time-domain models, software testing technique, coverage measures, time measures, software failure prediction, software execution time, industrial automatic flight control, software reliability, program testing, digital simulation, software performance evaluation, simulation environment, code coverage, software reliability growth |
23 | Cyril Briquet, Pierre-Arnoul de Marneffe |
Reproducible testing of distributed software with middleware virtualization and simulation. |
PADTAD |
2008 |
DBLP DOI BibTeX RDF |
P2P grid, simulation, scheduling, performance evaluation, virtualization, code reuse, distributed testing |
23 | Guoqiang Shu, Dongluo Chen, Zhijun Liu, Na Li, Lifeng Sang, David Lee 0001 |
VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. |
TestCom/FATES |
2008 |
DBLP DOI BibTeX RDF |
Virtualization, Network Modeling, Test Automation, Network Emulation, Security Testing |
23 | Jeff Offutt, Qingxiang Wang, Joann J. Ordille |
An Industrial Case Study of Bypass Testing on Web Applications. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Software testing, web applications, industry case study |
23 | Bill Hasling, Helmut Goetz, Klaus Beetz |
Model Based Testing of System Requirements using UML Use Case Models. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
UML, Model Based Testing, Requirements Tracing |
23 | Andrew F. Tappenden, James Miller 0001 |
A Three-Tiered Testing Strategy for Cookies. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
Web Technologies, Cookies, Web Application Testing |
23 | Thomas Rings, Helmut Neukirchen, Jens Grabowski |
Testing Grid Application Workflows Using TTCN-3. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
CMTF, testing, Grid, TTCN-3 |
23 | Raluca Lefticaru, Florentin Ipate |
Functional Search-based Testing from State Machines. |
ICST |
2008 |
DBLP DOI BibTeX RDF |
genetic algorithms, simulated annealing, particle swarm optimization, finite state machine, search-based testing |
23 | Mechelle Gittens, Pramod Gupta, David Godwin, Hebert Pereyra, Jeff Riihimaki |
Focused iterative testing: a test automation case study. |
DBTest |
2008 |
DBLP DOI BibTeX RDF |
testing, database management systems, multi-threaded |
23 | Sigrid Eldh, Sasikumar Punnekkat, Hans Hansson, Peter Jönsson |
Component Testing Is Not Enough - A Study of Software Faults in Telecom Middleware. |
TestCom/FATES |
2007 |
DBLP DOI BibTeX RDF |
Fault distribution, Testing, Software, Fault Classification |
23 | Emmanuel Simeu, Salvador Mir, R. Kherreddine, Hoang Nam Nguyen |
Envelope Detection Based Transition Time Supervision for Online Testing of RF MEMS Switches. |
IOLTS |
2007 |
DBLP DOI BibTeX RDF |
RF MEMS, capacitive switch, envelope detection, transition time, Online testing, recursive estimation |
23 | André Baresel, David W. Binkley, Mark Harman, Bogdan Korel |
Evolutionary testing in the presence of loop-assigned flags: a testability transformation approach. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
flags, testability transformation, empirical evaluation, evolutionary testing |
23 | Jean Hartmann, Claudio Imoberdorf, Michael Meisinger |
UML-Based integration testing. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
COM/DCOM, XML, CORBA, test generation, functional testing, distributed components, UML statecharts, test execution |
22 | Tsung-Hsiang Chang, Tom Yeh, Robert C. Miller |
GUI testing using computer vision. |
CHI |
2010 |
DBLP DOI BibTeX RDF |
gui automation, gui testing, test by demonstration |
22 | Jose Romero-Mariona, Hadar Ziv, Debra J. Richardson |
ASSURE: automated support for secure and usable requirements engineering. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
security requirements-based testing, security requirements, usable requirements |
22 | Andrew F. Tappenden, James Miller 0001 |
Cookies: A deployment study and the testing implications. |
ACM Trans. Web |
2009 |
DBLP DOI BibTeX RDF |
Internet browser, software testing, Web engineering, Web technologies, Cookies |
22 | Mathias Ricken, Robert Cartwright |
ConcJUnit: unit testing for concurrent programs. |
PPPJ |
2009 |
DBLP DOI BibTeX RDF |
Java, concurrent programming, unit testing, JUnit |
22 | Chengying Mao |
Experiences in security testing for web-based applications. |
ICIS |
2009 |
DBLP DOI BibTeX RDF |
management control, validation, web application, vulnerability, experiences report, security testing |
22 | Man Fai Lau, Yuen-Tak Yu |
On Comparing Testing Criteria for Logical Decisions. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
condition coverage, condition/decision coverage, control flow criteria, decision coverage, modified condition/ decision coverage (MC/DC), software testing, Boolean expression |
22 | Yaohang Li, Yong-Duan Song |
An adaptive and trustworthy software testing framework on the grid. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
Grid computing, Software testing |
22 | Praveen Ranjan Srivastava, Deepak Pareek, Kailash Sati, Dinesh C. Pujari, G. Raghurama |
Non homogenous poisson process based cumulative priority model for determining optimal software testing period. |
ACM SIGSOFT Softw. Eng. Notes |
2008 |
DBLP DOI BibTeX RDF |
cumulative priority, optimal testing policy, software life cycle length, software release time, non homogenous poisson process |
22 | Hossain Shahriar, Mohammad Zulkernine |
Mutation-Based Testing of Buffer Overflow Vulnerabilities. |
COMPSAC |
2008 |
DBLP DOI BibTeX RDF |
Mutation-based testing, Vulnerabilities, Buffer overflow |
22 | David B. Martin 0001, John Rooksby, Mark Rouncefield, Ian Sommerville |
Cooperative work in software testing. |
CHASE |
2008 |
DBLP DOI BibTeX RDF |
testing, ethnography, cooperative work |
22 | Marlon Vieira, Xiping Song, Gilberto Matos, Stephan Storck, Rajanikanth Tanikella, William M. Hasling |
Applying model-based testing to healthcare products: preliminary experiences. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
healthcare software systems, model-based testing |
22 | Leila Naslavsky, Hadar Ziv, Debra J. Richardson |
Towards leveraging model transformation to support model-based testing. |
ASE |
2007 |
DBLP DOI BibTeX RDF |
model-driven development, traceability, model-based testing |
22 | Sebastian G. Elbaum, Suzette Person, Jonathan Dokulil, Matthew Jorde |
Bug Hunt: Making Early Software Testing Lessons Engaging and Affordable. |
ICSE |
2007 |
DBLP DOI BibTeX RDF |
Software Testing Education, Web-based Tutorial |
22 | Sergiy A. Vilkomir, Jonathan P. Bowen |
From MC/DC to RC/DC: formalization and analysis of control-flow testing criteria. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Software testing criteria, RC/DC, Formal methods, Z notation, MC/DC |
22 | Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova |
TTCN-3 for Distributed Testing Embedded Software. |
Ershov Memorial Conference |
2006 |
DBLP DOI BibTeX RDF |
simulated time, TTCN-3, distributed testing |
22 | Arthi Anandhan, Senthil Dhandapani, Hassan Reza, Karthik Namasivayam |
Web Usability Testing - CARE Methodology. |
ITNG |
2006 |
DBLP DOI BibTeX RDF |
question asking protocol, co-discovery method, evaluation, Usability, user testing, questionnaire, thinking aloud protocol |
22 | Paul A. Strooper, Luke Wildman |
Testing concurrent java components. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
concurrency, component, testing methodology |
22 | Kristen R. Walcott, Mary Lou Soffa, Gregory M. Kapfhammer, Robert S. Roos |
TimeAware test suite prioritization. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, test prioritization, coverage testing |
22 | Lei Xu 0003, Baowen Xu, Changhai Nie |
Testing and Fault Diagnosis for Web Application Compatibility Based on Combinatorial Method. |
ISPA Workshops |
2005 |
DBLP DOI BibTeX RDF |
Combinatorial Method, Compatibility Testing, Fault Diagnosis, Web Applications |
22 | Hui Wu, Jeff Gray 0001 |
Automated generation of testing tools for domain-specific languages. |
ASE |
2005 |
DBLP DOI BibTeX RDF |
testing, debugging, domain-specific languages, grammar |
22 | Cheng-Ying Mao, Yansheng Lu |
Improving the Robustness and Reliability of Object-Oriented Programs through Exception Analysis and Testing. |
ICECCS |
2005 |
DBLP DOI BibTeX RDF |
exception handling mechanism, control flow graph (CFG), robustness improvement model, exception testing, safety critical system |
22 | Jarmo J. Ahonen, Tuukka Junttila, Markku Sakkinen |
Impacts of the Organizational Model on Testing: Three Industrial Cases. |
Empir. Softw. Eng. |
2004 |
DBLP DOI BibTeX RDF |
TIM, software engineering, Software testing, software process, process assessment, organizational model |
22 | Antonia Bertolino |
The (Im)maturity level of software testing. |
ACM SIGSOFT Softw. Eng. Notes |
2004 |
DBLP DOI BibTeX RDF |
comparisons of test techniques, software testing maturity, test patterns |
22 | Gary McGraw, Bruce Potter |
Software Security Testing. |
IEEE Secur. Priv. |
2004 |
DBLP DOI BibTeX RDF |
black-box testing, software development cycle |
22 | Florentin Ipate |
Complete deterministic stream X-machine testing. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Formal specification, Testing, Finite state machines, Test set generation, Stream X-machines |
22 | James R. Birt, Renate Sitte |
Optimizing Testing Efficiency with Error-Prone Path Identification and Genetic Algorithms. |
Australian Software Engineering Conference |
2004 |
DBLP DOI BibTeX RDF |
Genetic Algorithms, optimization, software reliability, testing efficiency |
22 | Colin Depradine, Julian Arthur |
A tool for incorporating unit testing into a Java programming curriculum. |
PPPJ |
2004 |
DBLP DOI BibTeX RDF |
Java, frameworks, unit testing |
22 | Jan Lönnberg, Ari Korhonen, Lauri Malmi |
MVT: a system for visual testing of software. |
AVI |
2004 |
DBLP DOI BibTeX RDF |
execution history logging, visual testing, bytecode instrumentation, visual debugging, algorithm simulation |
22 | Piet Engelke, Ilia Polian, Michel Renovell, Bharath Seshadri, Bernd Becker 0001 |
The Pros and Cons of Very-Low-Voltage Testing: An Analysis based on Resistive Bridging Faults. |
VTS |
2004 |
DBLP DOI BibTeX RDF |
Very-Low-Voltage testing, Resistive short defects |
22 | Rolf Nelson |
A Testing Checklist for Database Programs: Managing Risk in an Agile Environment. |
XP/Agile Universe |
2003 |
DBLP DOI BibTeX RDF |
Java, testing, SQL, XP, Agile |
22 | Margaret M. Burnett, Andrei Sheretov, Bing Ren, Gregg Rothermel |
Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" Methodology. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Software testing, visual programming, spreadsheets |
22 | Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon |
Framework for Third Party Testing of Component Software. |
APSEC |
2001 |
DBLP DOI BibTeX RDF |
metadata, Framework, Certification, Component-based software engineering, EJB, Component testing |
22 | Kari Kuutti, Katja Battarbee, Simo Säde, Tuuli Mattelmäki, Turkka Keinonen, Topias Teirikko, Anne-Mari Tornberg |
Virtual Prototypes in Usability Testing. |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
3D virtual prototyping, design evaluation over the Internet, task-based test vs. free exploration test, VRML models vs. physical models, remote usability testing |
22 | Huawei Li 0001, Zhongcheng Li, Yinghua Min |
Reduction of Number of Paths to be Tested in Delay Testing. |
J. Electron. Test. |
2000 |
DBLP DOI BibTeX RDF |
linearly independent, analytical delay model, delay testing, path sensitization |
22 | Fangmei Wu, Meng Li |
Railway Signaling Safety-critical Software Testing Based on Dynamic Decision Table. |
Asian Test Symposium |
1999 |
DBLP DOI BibTeX RDF |
dynamic decision table, software testing, safety-critical software, interlocking |
22 | Ji-Tzay Yang, Jiun-Long Huang, Feng-Jian Wang, William C. Chu |
An Object-Oriented Architecture Supporting Web Application Testing. |
COMPSAC |
1999 |
DBLP DOI BibTeX RDF |
WWW, architecture, software testing |
22 | Luis Fernando Llana Díaz, David de Frutos-Escrig |
Relating May and Must Testing Semantics for Discrete Timed Process Algebras. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
testing semantics, must, may, time, process algebra |
22 | Mohammed Fadle Abdulla, C. P. Ravikumar, Anshul Kumar |
Optimization of Mutual and Signature Testing Schemes for Highly Concurrent Systems. |
J. Electron. Test. |
1998 |
DBLP DOI BibTeX RDF |
mutual checking, multiple signature testing, self loops, built-in self test, aliasing |
22 | Joachim Wegener, Harmen Sthamer, Bryan F. Jones, David E. Eyres |
Testing real-time systems using genetic algorithms. |
Softw. Qual. J. |
1997 |
DBLP DOI BibTeX RDF |
temporal behaviour, genetic algorithms, real-time systems, embedded systems, testing |
22 | Larry J. Morell |
A Theory of Fault-Based Testing. |
IEEE Trans. Software Eng. |
1990 |
DBLP DOI BibTeX RDF |
fault-based program testing, prescribed faults, alternate expressions, program expressions, symbolic alternative, propagation equation, alternative set, finite test, computational complexity, program verification, symbolic execution, symbol manipulation, test set |
22 | Pavan Kumar Chittimalli, Mary Jean Harrold |
Regression test selection on system requirements. |
ISEC |
2008 |
DBLP DOI BibTeX RDF |
requirements, traceability, regression testing, test case prioritization, regression test selection |
22 | Hoyeon Ryu, Dong-Kuk Ryu, Jongmoon Baik |
A Strategic Test Process Improvement Approach Using an Ontological Description for MND-TMM. |
ACIS-ICIS |
2008 |
DBLP DOI BibTeX RDF |
Testing Maturity Model, OWL, Software Process Improvement |
22 | Carsten Binnig, Donald Kossmann, Eric Lo 0001, M. Tamer Özsu |
QAGen: generating query-aware test databases. |
SIGMOD Conference |
2007 |
DBLP DOI BibTeX RDF |
symbolic database, symbolic query processing, testing, database, query processing, symbolic execution |
22 | Noga Alon, Eldar Fischer, Ilan Newman, Asaf Shapira |
A combinatorial characterization of the testable graph properties: it's all about regularity. |
STOC |
2006 |
DBLP DOI BibTeX RDF |
characterization, property testing, regularity lemma |
|
|