Search results for "black-box testing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Mark Last, Shay Eyal, Abraham Kandel	Effective Black-Box Testing with Genetic Algorithms.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF	Genetic algorithms, Fuzzy logic, Computational intelligence, Black-box testing, Test prioritization
2	Peter M. Kruse, Joachim Wegener, Stefan Wappler	A highly configurable test system for evolutionary black-box testing of embedded systems.	GECCO	2009	DBLP DOI BibTeX RDF	antilock-braking-system, hardware-in-the-loop-testing, testing infrastructure, functional testing, evolutionary testing
2	Lionel C. Briand, Yvan Labiche, Zaheer Bawar	Using Machine Learning to Refine Black-Box Test Specifications and Test Suites.	QSIC	2008	DBLP DOI BibTeX RDF	category partition, machine learning, black-box testing
2	Bernhard Beckert, Christoph Gladisch	White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing.	TAP	2007	DBLP DOI BibTeX RDF
2	Tafline Murnane, Karl Reed, Richard Hall	Tailoring of Black-Box Testing Methods.	ASWEC	2006	DBLP DOI BibTeX RDF
2	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
2	Sezer Gören, F. Joel Ferguson	Test sequence generation for controller verification and test with high coverage.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	finite state machine, Fault coverage, black box testing, X-machine
2	Fabrice Bouquet, Frédéric Dadeau, Julien Groslambert, Jacques Julliand	Safety Property Driven Test Generation from.	FATES/RV	2006	DBLP DOI BibTeX RDF	JavaCard, automated testing, black-box testing, safety properties, Java Modeling Language
2	Tafline Murnane, Richard Hall, Karl Reed	Towards Describing Black-Box Testing Methods as Atomic Rules.	COMPSAC	2005	DBLP DOI BibTeX RDF
2	Achim D. Brucker, Burkhart Wolff	Interactive Testing with HOL-TestGen.	FATES	2005	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, black box testing, white box testing, interactive testing
2	Karl Meinke	Automated black-box testing of functional correctness using function approximation.	ISSTA	2004	DBLP DOI BibTeX RDF	formal specification, approximation, functional test, constraint solving, test coverage, black-box test, satisfiability problem
2	Gary McGraw, Bruce Potter	Software Security Testing.	IEEE Security & Privacy	2004	DBLP DOI BibTeX RDF	black-box testing, software development cycle
2	Yao-Wen Huang, Shih-Kun Huang, Tsung-Po Lin, Chung-Hung Tsai	Web application security assessment by fault injection and behavior monitoring.	WWW	2003	DBLP DOI BibTeX RDF	complete crawling, fault injection, black-box testing, security assessment, web application testing
2	Naina Mittal, Ira Acharya	An Open Framework for Managed Regression Testing.	TestCom	2003	DBLP DOI BibTeX RDF	managed testing, networking equipment, test bench, hierarchical test case management, test plan tree, framework deployment, test-cycle reduction, testing tool collaboration, regression testing, black-box testing, Test automation, test framework, test planning, test execution, test scripts
2	Patrick J. Schroeder, Pat Faherty, Bogdan Korel	Generating Expected Results for Automated Black-Box Testing.	ASE	2002	DBLP DOI BibTeX RDF
2	Alex Groce, Doron Peled, Mihalis Yannakakis	Adaptive Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF	Learning Algorithms, Automatic Verification, Black Box Testing
2	Jinhui Shan, Ji Wang, Zhichang Qi	On Path-Wise Automatic Generation of Test Data for Both White-Box and Black-Box Testing.	APSEC	2001	DBLP DOI BibTeX RDF
2	Tafline Murnane, Karl Reed	On the Effectiveness of Mutation Analysis as a Black Box Testing Technique.	Australian Software Engineering Conference	2001	DBLP DOI BibTeX RDF
2	Sami Beydeda, Volker Gruhn	Integrating White- and Black-Box Techniques for Class-Level Regression Testing.	COMPSAC	2001	DBLP DOI BibTeX RDF	Integrated White- and Black-Box Testing, Class-level Testing, Regression Testing
2	Patrick J. Schroeder, Bogdan Korel	Black-box test reduction using input-output analysis.	ISSTA	2000	DBLP DOI BibTeX RDF	input-output analysis, test reduction, black-box testing, combinatorial testing
2	Bernhard K. Aichernig	Automated Black-Box Testing with Abstract VDM Oracles.	SAFECOMP	1999	DBLP DOI BibTeX RDF
2	Bogdan Korel	Black-Box Understanding of COTS Components. (PDF / PS)	IWPC	1999	DBLP DOI BibTeX RDF	Black-Box understanding, Interface probing, Black-box testing, Automated test generation, COTS component, White-box testing
2	Rachel Cardell-Oliver, Tim Glover	A Practical and Complete Algorithm for Testing Real-Time Systems.	FTRTFT	1998	DBLP DOI BibTeX RDF	real-time systems, timed automata, black-box testing
1	Kai Chen, Dengguo Feng, Purui Su, Yingjun Zhang	Black-box testing based on colorful taint analysis.	SCIENCE CHINA Information Sciences	2012	DBLP DOI BibTeX RDF
1	Radu Banabic, George Candea	Fast black-box testing of system recovery code.	EuroSys	2012	DBLP DOI BibTeX RDF
1	Linmin Yang, Zhe Dang, Thomas R. Fischer	Information gain of black-box testing.	Formal Asp. Comput.	2011	DBLP DOI BibTeX RDF
1	Farn Wang, Jung-Hsuan Wu, Chung-Hao Huang, Kai-Hsiang Chang	Evolving a Test Oracle in Black-Box Testing.	FASE	2011	DBLP DOI BibTeX RDF
1	Shirui Ji, Qingqi Pei, Yong Zeng, Chao Yang, Shu-po Bu	An Automated Black-box Testing Approach for WSN Security Protocols.	CIS	2011	DBLP DOI BibTeX RDF
1	Leonardo Mariani, Mauro Pezzè, Oliviero Riganelli, Mauro Santoro	AutoBlackTest: a tool for automatic black-box testing.	ICSE	2011	DBLP DOI BibTeX RDF
1	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
1	Marcos Álvares Barbosa Junior, Fernando Buarque de Lima Neto, Júlio C. S. Fort	Improving black box testing by using neuro-fuzzy classifiers and multi-agent systems.	HIS	2010	DBLP DOI BibTeX RDF
1	Michael Averstegge	Contract Based, Non-invasive, Black-Box Testing of Web Services.	ICSOC	2010	DBLP DOI BibTeX RDF
1	Cristiano Bertolini, Glaucia Peres, Marcelo d'Amorim, Alexandre Mota	An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIs.	ICST	2009	DBLP DOI BibTeX RDF
1	Roy Patrick Tan, Pooja Nagpal, Shaun Miller	Automated Black Box Testing Tool for a Parallel Programming Library.	ICST	2009	DBLP DOI BibTeX RDF
1	Youngki Park, Woosung Jung, Byungjeong Lee, Chisu Wu	Automatic Discovery of Web Services Based on Dynamic Black-Box Testing.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	hol-TestGen.	FASE	2009	DBLP DOI BibTeX RDF	symbolic test-case generations, theorem proving, black box testing, white box testing, interactive testing
1	Tsong Yueh Chen, Man Fai Lau, K. Y. Sim, Chang-ai Sun	On detecting faults for Boolean expressions.	Software Quality Journal	2009	DBLP DOI BibTeX RDF	MUMCUT strategy, Software testing, Fault detection, Specification based testing, Black-box testing, Fault based testing, Boolean specification
1	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
1	Chitra Babu, Harshini Ramnath Krishnan	Fault model and test-case generation for the composition of aspects.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	aspect oriented programming, fault model, aspect composition, join point
1	Florian Kantz, Thomas Ruschival, Philipp Nenninger, Detlef Streitferdt	Testing with Large Parameter Sets for the Development of Embedded Systems in the Automation Domain.	COMPSAC	2009	DBLP DOI BibTeX RDF
1	Mark Grechanik, Qing Xie, Chen Fu	Maintaining and evolving GUI-directed test scripts.	ICSE	2009	DBLP DOI BibTeX RDF
1	Mark Grechanik, Qing Xie, Chen Fu	Experimental assessment of manual versus tool-based maintenance of GUI-directed test scripts.	ICSM	2009	DBLP DOI BibTeX RDF
1	Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Ana R. Cavalli	Observability and Controllability Issues in Conformance Testing of Web Service Compositions.	TestCom/FATES	2009	DBLP DOI BibTeX RDF	observability and controllability, verdict testing report, Web Service composition, Conformance testing
1	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
1	Martin Weiglhofer, Franz Wotawa	Random Vs. Scenario-based Vs. Fault-based Testing - An Industrial Evaluation of Formal Black-Box Testing Methods.	ENASE	2008	DBLP BibTeX RDF
1	Jaeyeon Jung, Anmol Sheth, Ben Greenstein, David Wetherall, Gabriel Maganis, Tadayoshi Kohno	Privacy oracle: a system for finding application leaks with black box differential testing.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	data loss prevention, differential fuzz testing, personal information leaks, sequence alignment algorithm, black-box testing
1	Constantin Sârbu, Andréas Johansson, Neeraj Suri	Execution Path Profiling for OS Device Drivers: Viability and Methodology.	ISAS	2008	DBLP DOI BibTeX RDF	Code Path Profiling, Operating System, Cluster Analysis, Device Driver, Black-box Testing
1	Fevzi Belli, Axel Hollmann	Test generation and minimization with "basic" statecharts.	SAC	2008	DBLP DOI BibTeX RDF	fault modeling, statecharts, test case generation, test coverage, test optimization
1	James F. Bowring	A new paradigm for programming competitions.	SIGCSE	2008	DBLP DOI BibTeX RDF	acm programming contest, competition paradigm, quality-of-process
1	Chong-Won Lee, Byungjeong Lee, Chisu Wu	Providing the Guideline of Determining Quality Checklists Priorities Based on Evaluation Records of Software Products.	APSEC	2008	DBLP DOI BibTeX RDF
1	Yuting Chen, Shaoying Liu, W. Eric Wong	A Method Combining Review and Testing for Verifying Software Systems.	BMEI	2008	DBLP DOI BibTeX RDF
1	Chunyan Ma, Chenglie Du, Tao Zhang, Fei Hu, Xiaobin Cai	WSDL-Based Automated Test Data Generation for Web Service.	CSSE	2008	DBLP DOI BibTeX RDF
1	Elizabeth Fong, Romain Gaucher, Vadim Okun, Paul E. Black, Eric Dalci	Building a Test Suite for Web Application Scanners.	HICSS	2008	DBLP DOI BibTeX RDF
1	Andres Flores, Macario Polo Usaola	Testing-based assessment process for upgrading component systems.	ICSM	2008	DBLP DOI BibTeX RDF
1	Qing Xie, Mark Grechanik, Chen Fu	REST: A tool for reducing effort in script-based testing.	ICSM	2008	DBLP DOI BibTeX RDF
1	Siripol Noikajana, Taratip Suwannasart	Web Service Test Case Generation Based on Decision Table (Short Paper).	QSIC	2008	DBLP DOI BibTeX RDF	WSDL-S, Software testing, Decision table, SWRL
1	Kathrin Kaschner, Niels Lohmann	Automatic Test Case Generation for Interacting Services.	ICSOC Workshops	2008	DBLP DOI BibTeX RDF	Testing, Test Case Generation, Interacting Services
1	Sean McAllister, Engin Kirda, Christopher Kruegel	Leveraging User Interactions for In-Depth Testing of Web Applications.	RAID	2008	DBLP DOI BibTeX RDF
1	Michael A. Hennell	The First Thirty Years: Experience with Software Verification.	TAP	2008	DBLP DOI BibTeX RDF
1	Bo Qu, Changhai Nie, Baowen Xu, Xiaofang Zhang	Test Case Prioritization for Black Box Testing.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Man Fai Lau, Ying Liu, Tsong Yueh Chen, Yuen-Tak Yu	On Detecting Double Literal Faults in Boolean Expressions.	Ada-Europe	2007	DBLP DOI BibTeX RDF	Test case generation, Black-box testing, Fault-based testing, Boolean specification
1	Jin-Cherng Lin, Jan-Min Chen, Hsing-Kuo Wong	An Automatic Meta-revised Mechanism for Anti-malicious Injection.	NBiS	2007	DBLP DOI BibTeX RDF	Malicious injection, Security gateway, Black box testing, Input validation
1	Achim D. Brucker, Burkhart Wolff	Test-Sequence Generation with Hol-TestGen with an Application to Firewall Testing.	TAP	2007	DBLP DOI BibTeX RDF	symbolic test case generations, theorem proving, computer security, black box testing, Isabelle/HOL, test sequence generation
1	Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits	Synthesis of test purpose directed reactive planning tester for nondeterministic systems.	ASE	2007	DBLP DOI BibTeX RDF	nondeterministic extended finite state machine, reactive planning, model-based testing, online testing
1	Eda Marchetti, Antonia Bertolino	Profiling and testing within domains to facilitate document exchangeability.	DOSTA	2007	DBLP DOI BibTeX RDF	automatic conformance testing, clinical document, XML schema
1	Christoph Schneckenburger, Johannes Mayer	Towards the determination of typical failure patterns.	SOQUA	2007	DBLP DOI BibTeX RDF	failure location, failure pattern, failure-causing input
1	Christopher Kruegel, Davide Balzarotti, William K. Robertson, Giovanni Vigna	Improving Signature Testing through Dynamic Data Flow Analysis.	ACSAC	2007	DBLP DOI BibTeX RDF
1	Tafline Murnane, Karl Reed, Richard Hall	On the Learnability of Two Representations of Equivalence Partitioning and Boundary Value Analysis.	ASWEC	2007	DBLP DOI BibTeX RDF
1	Guoqiang Shu, David Lee	Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.	ICDCS	2007	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini	TAXI - A Tool for XML-Based Testing.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Chengying Mao, Yansheng Lu	CppTest: A Prototype Tool for Testing C/C++ Programs.	ARES	2007	DBLP DOI BibTeX RDF
1	Jin-Cherng Lin, Jan-Min Chen	The Automatic Defense Mechanism for Malicious Injection Attack.	CIT	2007	DBLP DOI BibTeX RDF
1	Alair Dias Jr., Diógenes Cecilio da Silva Jr.	Code-coverage Based Test Vector Generation for SystemC Designs.	ISVLSI	2007	DBLP DOI BibTeX RDF
1	Ruilian Zhao, Shanshan Lv	Neural-Network Based Test Cases Generation Using Genetic Algorithm.	PRDC	2007	DBLP DOI BibTeX RDF	Output domain, Genetic algorithm, Neural networks, Test cases generation, Function model
1	Delphine Longuet, Marc Aiguier	Specification-Based Testing for CoCasl's Modal Specifications.	CALCO	2007	DBLP DOI BibTeX RDF	axiom unfolding, coalgebraic specifications, CoCasl, modal logic, Specification-based testing
1	Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse	Integrating Verification, Testing, and Learning for Cryptographic Protocols.	IFM	2007	DBLP DOI BibTeX RDF
1	Maxim Gromov, Tim A. C. Willemse	Testing and Model-Checking Techniques for Diagnosis.	TestCom/FATES	2007	DBLP DOI BibTeX RDF
1	Mark Sh. Levin, Mark Last	Design of test inputs and their sequences in multi-function system testing.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Test input, Test inputs sequences, Multi-function testing, Design, Combinatorial optimization, Decision making, Black-box testing, System approach
1	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller	Coverage metrics for requirements-based testing.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Ajitha Rajan	Automated requirements-based test case generation.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF
1	Michal Iglewski	Automatic Testing of SCR Specifications.	CCECE	2006	DBLP DOI BibTeX RDF
1	Syed M. Rahman, Paul L. Juell	Applying Software Development Lifecycles in Teaching Introductory Programming Courses.	CSEE&T	2006	DBLP DOI BibTeX RDF	software testing, software quality, programming language, Software development method, software cost
1	Ajitha Rajan	Coverage Metrics to Measure Adequacy of Black-Box Test Suites.	ASE	2006	DBLP DOI BibTeX RDF
1	William H. Allen, Chin Dou, Gerald A. Marin	A Model-based Approach to the Security Testing of Network Protocol Implementations.	LCN	2006	DBLP DOI BibTeX RDF
1	Jessica Chen, Guy-Vincent Jourdan, Wenxin Ma, Hasan Ural	Improving Coverage in Functional Testing.	QSIC	2006	DBLP DOI BibTeX RDF
1	Swaminathan Seetharaman, Krishna Murthy B. V. S.	Test Optimization Using Software Virtualization.	IEEE Software	2006	DBLP DOI BibTeX RDF	software testing, virtual machines, open source
1	Cheng Li, Zhe Dang	Decompositional Algorithms for Safety Verification and Testing of Aspect-Oriented Systems.	FATES/RV	2006	DBLP DOI BibTeX RDF
1	Anders Hessel, Paul Pettersson	Model-Based Testing of a WAP Gateway: An Industrial Case-Study.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Jinghua Gao, Eda Marchetti, Andrea Polini	Systematic Generation of XML Instances to Test Complex Software Applications.	RISE	2006	DBLP DOI BibTeX RDF
1	Antti Kervinen, Pablo Virolainen	Heuristics for Faster Error Detection With Automated Black Box Testing.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Antti Huima	A Note on an Anomaly in Black-Box Testing.	FATES	2005	DBLP DOI BibTeX RDF
1	Andreas Boklund, Christer Selvefors	A Low Budget Approach to Distributed Automated Black-Box Testing.	Software Engineering Research and Practice	2005	DBLP BibTeX RDF
1	Markus Clermont, David Lorge Parnas	Using information about functions in selecting test cases.	A-MOST	2005	DBLP DOI BibTeX RDF	test data generation, black box testing, tabular expressions
1	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou	Testing real-time embedded software using UPPAAL-TRON: an industrial case study.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time systems, embedded systems, black-box testing, online testing, control software
1	Markus Clermont, David Lorge Parnas	Using information about functions in selecting test cases.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	test data generation, black box testing, tabular expressions
1	Fevzi Belli, Christof J. Budnik	Towards Self-Testing of Component-Based Software.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	William E. Howden	Software Test Selection Patterns and Elusive Bugs.	COMPSAC	2005	DBLP DOI BibTeX RDF	elusive, models, design, Testing, patterns, defects
1	Dang Van Hung, Bui Vu Anh	Model Checking Real-Time Component Based Systems with Blackbox Testing.	RTCSA	2005	DBLP DOI BibTeX RDF	Duration Automata, Real-time Systems, Automatic Verification, Component Software
1	Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo	A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems.	EDCC	2005	DBLP DOI BibTeX RDF
1	Gu-Beom Jeong, Guk-Boh Kim	A Framework for Security Assurance in Component Based Development.	ICCSA	2005	DBLP DOI BibTeX RDF