Search results for "test oracle"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Guy Durrieu, Hélène Waeselynck, Virginie Wiels	LETO - A Lustre-Based Test Oracle for Airbus Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF	formal methods, automation, Test oracle, avionics
3	K. K. Aggarwal, Yogesh Singh, Arvinder Kaur, Omprakash Sangwan	A neural net based approach to Test Oracle.	ACM SIGSOFT Software Engineering Notes	2004	DBLP DOI BibTeX RDF	software testing, artificial neural networks, Test Oracle
2	Sarunas Packevicius, Andrej Usaniov, Eduardas Bareisa	Software testing using imprecise OCL constraints as oracles.	CompSysTech	2007	DBLP DOI BibTeX RDF	software testing, OCL, test oracle
2	W. K. Chan, Tsong Yueh Chen, S. C. Cheung, T. H. Tse, Zhenyu Zhang	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
2	Mao Ye, Boqin Feng, Li Zhu, Yao Lin	Neural Networks Based Automated Test Oracle for Software Testing.	ICONIP	2006	DBLP DOI BibTeX RDF
2	Mao Ye, Boqin Feng, Li Zhu, Yao Lin	Automated Test Oracle Based on Neural Networks.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
2	Rakesh Shukla, David A. Carrington, Paul A. Strooper	A Passive Test Oracle Using a Component's API.	APSEC	2005	DBLP DOI BibTeX RDF
2	Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko	Practical Approach to Specification and Conformance Testing of Distributed Network Applications.	ISAS	2005	DBLP DOI BibTeX RDF	asynchronous events specification, distributed system specification, formalization of standards, automated test construction, specification extension of programming language, test oracle generation, UniTesK, model based testing, conformance testing, Design by Contract
2	Xin Wang, Qi Yan, XinJun Mao, Zhi-Chang Qi	Generating Test Oracle for Role Binding in Multi-Agent Systems.	APSEC	2003	DBLP DOI BibTeX RDF
2	Atif M. Memon, Ishan Banerjee, Adithya Nagarajan	What Test Oracle Should I Use for Effective GUI Testing?	ASE	2003	DBLP DOI BibTeX RDF	oracle procedure, oracle information, empirical studies, Test oracles, GUI testing
2	Dennis K. Peters, David Lorge Parnas	Using Test Oracles Generated from Program Documentation.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	formal specification, finite state machine, Program testing, test oracle
2	Dennis K. Peters, David Lorge Parnas	Generating a Test Oracle from Program Documentation (Work in Progress).	ISSTA	1994	DBLP DOI BibTeX RDF	C++
2	Daniel Hoffman, Paul A. Strooper	Automated Module Testing in Prolog.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	input generation, test oracle problems, test inputs, output oracle, automated input generation, trace invariants, run-time performance, logic programming, Prolog, PROLOG, C, program testing, random testing, functional testing, C language, maintenance costs
1	Seyed Reza Shahamiri, Wan M. N. Wan-Kadir, Suhaimi Ibrahim, Siti Zaiton Mohd Hashim	Artificial neural networks as multi-networks automated test oracle.	Autom. Softw. Eng.	2012	DBLP DOI BibTeX RDF
1	J. Paul Gibson, Jean-Luc Raffy, Eric Lallet	Formal object-oriented development of a voting system test oracle.	ISSE	2011	DBLP DOI BibTeX RDF
1	Seyed Reza Shahamiri, Wan Mohd Nasir Wan-Kadir, Suhaimi Ibrahim, Siti Zaiton Mohd Hashim	An automated framework for software test oracle.	Information & Software Technology	2011	DBLP DOI BibTeX RDF
1	Omprakash Sangwan, Pradeep Kumar Bhatia, Yogesh Singh	Radial basis function neural network based approach to test oracle.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Farn Wang, Li-Wei Yao, Jung-Hsuan Wu	Intelligent Test Oracle Construction for Reactive Systems without Explicit Specifications.	DASC	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	Chang-ai Sun, Guan Wang, Baohong Mu, Huai Liu, ZhaoShun Wang, Tsong Yueh Chen	Metamorphic Testing for Web Services: Framework and a Case Study.	ICWS	2011	DBLP DOI BibTeX RDF	Web services, Service Oriented Architecture, software testing, test oracle, metamorphic testing
1	Dan Tu, Rong Chen, Zhenjun Du, Yaqing Liu	A Method of Log File Analysis for Test Oracle.	ScalCom-EmbeddedCom	2009	DBLP DOI BibTeX RDF
1	Seyed Reza Shahamiri, Wan Mohd Nasir Wan-Kadir, Siti Zaiton Mohd Hashim	A Comparative Study on Automated Software Test Oracle Methods.	ICSEA	2009	DBLP DOI BibTeX RDF
1	Teemu Kanstrén	Program Comprehension for User-Assisted Test Oracle Generation.	ICSEA	2009	DBLP DOI BibTeX RDF
1	Hu Jin, Yi Wang, Nian-Wei Chen, Zhi-Jian Gou, Shuo Wang	Artificial Neural Network for Automatic Test Oracles Generation.	CSSE	2008	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam	Conformance Testing of Distributed Concurrent Systems with Executable Designs.	FMCO	2008	DBLP DOI BibTeX RDF	Creol, Model-based testing, conformance testing, Maude, concolic execution
1	Ralph Guderlei, Johannes Mayer, Christoph Schneckenburger, Frank Fleischer	Testing randomized software by means of statistical hypothesis tests.	SOQUA	2007	DBLP DOI BibTeX RDF	randomized software, test oracle, test evaluation, statistical hypothesis test
1	Yoonki Song, Suresh Thummalapenta, Tao Xie	UnitPlus: assisting developer testing in Eclipse.	ETX	2007	DBLP DOI BibTeX RDF	developer testing, test code reuse
1	Maher Lamari	Towards an automated test generation for the verification of model transformations.	SAC	2007	DBLP DOI BibTeX RDF	MDA (Model Driven Architecture), input test models, model transformation, test case generation, automated verification
1	Qing Xie, Atif M. Memon	Designing and comparing automated test oracles for GUI-based software applications.	ACM Trans. Softw. Eng. Methodol.	2007	DBLP DOI BibTeX RDF	GUI state, user interfaces, graphical user interfaces, widgets, Test oracles, GUI testing
1	W. K. Chan, Jeffrey C. F. Ho, T. H. Tse	Piping Classification to Metamorphic Testing: An Empirical Study towards Better Effectiveness for the Identification of Failures in Mesh Simplification Programs.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Guilan Dai, Xiaoying Bai, Yongbo Wang, Fengjun Dai	Contract-Based Testing for Web Services.	COMPSAC	2007	DBLP DOI BibTeX RDF
1	Andrew Burnett, Tom Dowling	A Framework for the Development and Testing of Cryptographic Software.	SCSS	2007	DBLP DOI BibTeX RDF
1	Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes	Reverse Engineered Formal Models for GUI Testing.	FMICS	2007	DBLP DOI BibTeX RDF	model-based GUI testing, Reverse engineering
1	Peifeng Hu, Zhenyu Zhang, W. K. Chan, T. H. Tse	An empirical comparison between direct and indirect test result checking approaches.	SOQUA	2006	DBLP DOI BibTeX RDF	empirical evaluation, controlled experiment, test oracle, metamorphic testing
1	Orest Pilskalns, Daniel Williams, Damir Aracic, Anneliese Amschler Andrews	Security Consistency in UML Designs.	COMPSAC	2006	DBLP DOI BibTeX RDF
1	Deepak D'Souza, Madhu Gopinathan	Computing Complete Test Graphs for Hierarchical Systems.	SEFM	2006	DBLP DOI BibTeX RDF
1	Tao Xie	Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Xin Wang, Zhi-Chang Qi, Shuhao Li	An Optimized Method for Automatic Test Oracle Generation from Real-Time Specification.	ICECCS	2005	DBLP DOI BibTeX RDF
1	Rakesh Shukla, Paul A. Strooper, David A. Carrington	Tool Support for Statistical Testing of Software Components.	APSEC	2005	DBLP DOI BibTeX RDF
1	Oliver Hummel, Colin Atkinson	Automated Harvesting of Test Oracles for Reliability Testing.	COMPSAC	2005	DBLP DOI BibTeX RDF
1	David Coppit, Jinlin Yang, Sarfraz Khurshid, Wei Le, Kevin J. Sullivan	Software Assurance by Bounded Exhaustive Testing.	IEEE Trans. Software Eng.	2005	DBLP DOI BibTeX RDF	Formal methods, program verification, testing and debugging
1	Catherine Oriat	Jartege: A Tool for Random Generation of Unit Tests for Java Classes.	QoSA/SOQUA	2005	DBLP DOI BibTeX RDF
1	Karl R. P. H. Leung, Joseph Kee-Yin Ng, Wing Lok Yeung	Embedded Program Testing in Untestable Mobile Environment: Embedded Program Testing in Untestable Mobile Environment.	APSEC	2004	DBLP DOI BibTeX RDF
1	Atif M. Memon, Qing Xie	Empirical Evaluation of the Fault-Detection Effectiveness of Smoke Regression Test Cases for GUI-Based Software.	ICSM	2004	DBLP DOI BibTeX RDF
1	Atif M. Memon, Qing Xie	Using Transient/Persistent Errors to Develop Automated Test Oracles for Event-Driven Software.	ASE	2004	DBLP DOI BibTeX RDF
1	Rakesh Shukla, Paul A. Strooper, David A. Carrington	A Framework for Reliability Assessment of Software Components.	CBSE	2004	DBLP DOI BibTeX RDF
1	Xin Wang, Ji Wang, Zhi-Chang Qi	Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems.	FORTE	2004	DBLP DOI BibTeX RDF
1	Jason McDonald, Paul A. Strooper, Daniel Hoffman	Tool Support for Generating Passive C++ Test Oracles from Object-Z Specifications.	APSEC	2003	DBLP DOI BibTeX RDF
1	Atif M. Memon, Ishan Banerjee, Nada Hashmi, Adithya Nagarajan	DART: A Framework for Regression Testing "Nightly/daily Builds" of GUI Applications.	ICSM	2003	DBLP DOI BibTeX RDF
1	Hong Zhu	A Note on Test Oracles and Semantics of Algebraic Specifications.	QSIC	2003	DBLP DOI BibTeX RDF
1	John Håkansson, Bengt Jonsson, Ola Lundqvist	Generating online test oracles from temporal logic specifications.	STTT	2003	DBLP DOI BibTeX RDF	Online test oracles, Temporal logic specifications, Case studies, Safety properties, Metric temporal logic
1	Dennis K. Peters, David Lorge Parnas	Requirements-Based Monitors for Real-Time Systems.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	real-time system, Automated testing, test oracle, supervisor
1	Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov	Korat: automated testing based on Java predicates.	ISSTA	2002	DBLP DOI BibTeX RDF
1	Andrew D. Gordon, Don Syme	Typing a multi-language intermediate code.	POPL	2001	DBLP DOI BibTeX RDF
1	Bengt Jonsson, Gerardo Padilla	An Execution Semantics for MSC-2000.	SDL Forum	2001	DBLP DOI BibTeX RDF
1	Dennis K. Peters, David Lorge Parnas	Requirements-based monitors for real-time systems.	ISSTA	2000	DBLP DOI BibTeX RDF	real-time system, automated testing, test oracle, supervisor
1	Atif M. Memon, Martha E. Pollack, Mary Lou Soffa	Automated test oracles for GUIs.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	GUI test oracles, automated oracles, GUI testing
1	Jin-Cherng Lin, Ian Ho	A New Perspective on Formal Testing Method for Real-Time Software.	EUROMICRO	2000	DBLP DOI BibTeX RDF
1	Sergio Antoy, Richard G. Hamlet	Automatically Checking an Implementation against Its Formal Specification.	IEEE Trans. Software Eng.	2000	DBLP DOI BibTeX RDF	Self-checking code, object-oriented software testing, formal specification, rewriting
1	Ian MacColl, Leesa Murray, Paul A. Strooper, David A. Carrington	Specification-Based Class Testing: A Case Study. (PDF / PS)	ICFEM	1998	DBLP DOI BibTeX RDF
1	Jason McDonald, Paul A. Strooper	Translating Object-Z Specifications to Passive Test Oracles. (PDF / PS)	ICFEM	1998	DBLP DOI BibTeX RDF
1	Jason McDonald, Leesa Murray, Paul A. Strooper	Translating Object-Z Specifications to Object-Oriented Test Oracles.	APSEC	1997	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Lorenzo Strigini	On the Use of Testability Measures for Dependability Assessment.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	ultra-high reliability, software testing, error, Bayesian inference, testability, failure, fault, test oracle, reliability assessment
1	Michal Young	State-Space Analysis as an Aid to Testing (Abstract).	ISSTA	1994	DBLP DOI BibTeX RDF