Search results for "test-cases"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
27	James A. Jones, Mary Jean Harrold	Test-Suite Reduction and Prioritization for Modified Condition/Decision Coverage.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	test-suite prioritization, modified condition/decision coverage, testing, Test-suite reduction, critical software
27	Wei-Tek Tsai, Xinyu Zhou, Raymond A. Paul, Yinong Chen, Xiaoying Bai	A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.	HASE	2007	DBLP DOI BibTeX RDF	test case selection and ranking, web services, regression testing, statistical testing, group testing, Adaptive testing
27	Philippe Chevalley, Pascale Thévenod-Fosse	An Empirical Evaluation of Statistical Testing Designed from UML State Diagrams: The Flight Guidance System Case Study.	ISSRE	2001	DBLP DOI BibTeX RDF
27	Ashalatha Nayak, Debasis Samanta	Model-based test cases synthesis using UML interaction diagrams.	ACM SIGSOFT Softw. Eng. Notes	2009	DBLP DOI BibTeX RDF
27	Junmin Ye, Zemei Zhan, Cong Jin, Qingguo Zhang	A Software Test Cases Automated Generation Algorithm Based on Immune Principles.	ATC	2009	DBLP DOI BibTeX RDF	Immune Operator, Immune System, Test Case Generation
27	Clémentine Nebut, Simon Pickin 0001, Yves Le Traon, Jean-Marc Jézéquel	Automated Requirements-based Generation of Test Cases for Product Families.	ASE	2003	DBLP DOI BibTeX RDF
27	Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Xuemei Qiu	On test suite composition and cost-effective regression testing.	ACM Trans. Softw. Eng. Methodol.	2004	DBLP DOI BibTeX RDF	test suite composition, Empirical studies, regression testing
27	Soumen Maity, Amiya Nayak	Improved Test Generation Algorithms for Pair-Wise Testing.	ISSRE	2005	DBLP DOI BibTeX RDF
27	Anastasis A. Sofokleous, Andreas S. Andreou	Batch-Optimistic Test-Cases Generation Using Genetic Algorithms.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
26	Dan Hao 0001, Lu Zhang 0023, Ying Pan, Hong Mei 0001, Jiasu Sun	On similarity-awareness in testing-based fault localization.	Autom. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Debugging, Fuzzy set, Maintenance, Fault localization
26	Yongsun Cho, Woojin Lee, Kiwon Chong	The Technique of Test Case Design Based on the UML Sequence Diagram for the Development of Web Applications.	ICCSA (1)	2005	DBLP DOI BibTeX RDF
26	Arshad Jhumka, Neeraj Suri, Martin Hiller	A Framework for the Design and Validation of Efficient Fail-Safe Fault-Tolerant Programs.	SCOPES	2003	DBLP DOI BibTeX RDF	fault tolerance, test cases, software synthesis, Detectors, fail-safe
26	Tsong Yueh Chen, Fei-Ching Kuo, T. H. Tse, Zhiquan Zhou	Metamorphic Testing and Beyond.	STEP	2003	DBLP DOI BibTeX RDF	Follow-up test cases, semi-proving, successful test case, test case selection strategy, testing oracle, metamorphic testing
26	C. V. Ramamoorthy, Yutaka Usuda, Atul Prakash 0001, Wei-Tek Tsai	The Evolution Support Environment System.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	evolution support environment system, ESE system, integrated support, software architecture configuration, life-cycle configuration, software objects, design, specifications, software development, management, programming environments, interconnections, software components, traceability, code, version control, test cases, semantic information, evolving software system
26	Pankaj Jalote	Testing the Completeness of Specifications.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	completeness testing, VAX system, data structures, Unix, program testing, conformance testing, abstract data types, test cases, axiomatic specifications
26	Peter H. Deussen, Stephan Tobies	Formal Test Purposes and the Validity of Test Cases.	FORTE	2002	DBLP DOI BibTeX RDF
26	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
26	Anneliese von Mayrhauser, Michael Scheetz, Eric Dahlman	Generating Goal-Oriented Test Cases.	COMPSAC	1999	DBLP DOI BibTeX RDF	AI planning systems, Software testing
26	Matthew J. Rutherford, Alexander L. Wolf	A Case for Test-Code Generation in Model-Driven Systems.	GPCE	2003	DBLP DOI BibTeX RDF
26	Ulf T. Wiger, Gösta Ask, Kent Boortz	World-class product certification using Erlang.	Erlang Workshop	2002	DBLP DOI BibTeX RDF	testing, erlang
26	Kwok Ping Chan, Dave Towey, Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel	Using the Information: Incorporating Positive Feedback Information into the Testing Process.	STEP	2003	DBLP DOI BibTeX RDF
26	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
26	Sanjiv Ahuja	On communication software testing (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
25	Sebastian Fischer 0001, Herbert Kuchen	Systematic generation of glass-box test cases for functional logic programs.	PPDP	2007	DBLP DOI BibTeX RDF	testing, declarative programming, code coverage
25	James M. Bieman, Janet L. Schultz	Estimating the Number of Test Cases Required to Satisfy the All-du-paths Testing Criterion.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF
25	Carsten Binnig, Donald Kossmann, Eric Lo 0001, Angel Saenz-Badillos	Automatic Result Verification for the Functional Testing of a Query Language.	ICDE	2008	DBLP DOI BibTeX RDF
25	Xiaoying Bai, Shufang Lee, Wei-Tek Tsai, Yinong Chen	Ontology-Based Test Modeling and Partition Testing of Web Services.	ICWS	2008	DBLP DOI BibTeX RDF
25	Yanbing Yu, James A. Jones, Mary Jean Harrold	An empirical study of the effects of test-suite reduction on fault localization.	ICSE	2008	DBLP DOI BibTeX RDF	empirical study, fault localization, test-suite reduction
25	Ajitha Rajan	Automated requirements-based test case generation.	ACM SIGSOFT Softw. Eng. Notes	2006	DBLP DOI BibTeX RDF
25	Sara Sprenkle, Emily Gibson, Sreedevi Sampath, Lori L. Pollock	A case study of automatically creating test suites from web application field data.	TAV-WEB	2006	DBLP DOI BibTeX RDF
25	Ling Liu, Huaikou Miao, Xuede Zhan	A Framework for Specification-Based Class Testing.	ICECCS	2002	DBLP DOI BibTeX RDF	test class framework, finite state machine (FSM), state transition tree, Object-Z, class testing
25	Rozita Dara 0001, Shimin Li, Weining Liu, Angi Smith-Ghorbani, Ladan Tahvildari	Using dynamic execution data to generate test cases.	ICSM	2009	DBLP DOI BibTeX RDF
25	Gordon Fraser 0001, Franz Wotawa	Using model-checkers to generate and analyze property relevant test-cases.	Softw. Qual. J.	2008	DBLP DOI BibTeX RDF	Property relevance, Test-suite analysis, Model-checker based testing, Software testing, Requirements traceability
25	Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé	Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.	FME	2001	DBLP DOI BibTeX RDF
25	Tsong Yueh Chen, Yuen-Tak Yu	On the Criteria of Allocating Test Cases under Uncertainty.	APSEC	1997	DBLP DOI BibTeX RDF	optimal test distribution, software testing, Partition testing, decision under uncertainty
25	Zhu Yun Gu, Kong Eng Cheng	The derivation of test cases from SDL specifications.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Finite State Machine Products, Formal Description Techniques (FDT), Software Testing, Tree, SDL, Test Coverage, Test Suites
25	Guy-Vincent Jourdan, Panitee Ritthiruangdech, Hasan Ural	Test Suite Reduction Based on Dependence Analysis.	ISCIS	2006	DBLP DOI BibTeX RDF
25	Bahareh Badban, Martin Fränzle, Jan Peleska 0001, Tino Teige	Test automation for hybrid systems.	SOQUA	2006	DBLP DOI BibTeX RDF	MCDC coverage, hybrid systems, test case generation, interval analysis
25	Bogdan Korel, Ali M. Al-Yami	Automated Regression Test Generation.	ISSTA	1998	DBLP DOI BibTeX RDF
25	Mary Jean Harrold, Rajiv Gupta 0001, Mary Lou Soffa	A Methodology for Controlling the Size of a Test Suite.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	software engineering, software maintenance, regression testing, test suite reduction, hitting set
24	Sebastian Benz	AspectT: aspect-oriented test case instantiation.	AOSD	2008	DBLP DOI BibTeX RDF	test case instantiation, model-based testing, test case generation, aspect-orientation
24	Qing Xie 0003, Atif M. Memon	Studying the Characteristics of a "Good" GUI Test Suite.	ISSRE	2006	DBLP DOI BibTeX RDF
24	David Lugato, Frédéric Maraux, Yves Le Traon, Véronique Normand, Hubert Dubois, Jean-Yves Pierron, Jean-Pierre Gallois, Clémentine Nebut	Automated Functional Test Case Synthesis from THALES industrial Requirements.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
24	Mate' Sztipanovits, Kai Qian, Xiang Fu 0001	The automated web application testing (AWAT) system.	ACM Southeast Regional Conference	2008	DBLP DOI BibTeX RDF	software testing, web applications, automated testing, test cases, programming specifications, GUI design, automated grading
24	Farokh B. Bastani, Bojan Cukic	Impact of program transformation on software reliability assessment.	HASE	1996	DBLP DOI BibTeX RDF	statistical sampling method, complete program paths, partial proofs, reliability assessment procedure, formal methods, program transformation, program verification, correctness, software fault tolerance, safety critical software, test cases, operational profile, reliability estimate, software reliability assessment
24	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
24	Vipindeep Vangala, Jacek Czerwonka, Phani Talluri	Test case comparison and clustering using program profiles and static execution.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	sustained engineering, machine learning, testing, static analysis
24	Boris Vaysburg, Luay Ho Tahat, Bogdan Korel	Dependence analysis in reduction of requirement based test suites.	ISSTA	2002	DBLP DOI BibTeX RDF	EFSM dependence analysis, EFSM system model, model-based testing, system testing, test suite reduction, interaction pattern
24	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
24	Roong-Ko Doong, Phyllis G. Frankl	The ASTOOT Approach to Testing Object-Oriented Programs.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	software testing, object-oriented programming, abstract data types, algebraic specification
24	Sacha Reis, Klaus Pohl	Wiederverwendung von Integrationstestfällen in der Software-Produktlinienentwicklung.	Inform. Forsch. Entwickl.	2008	DBLP DOI BibTeX RDF	Test Case Derivation, Reuse, Software Product Lines, Integration Test
24	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
24	Borislav Nikolik	Convergence debugging.	AADEBUG	2005	DBLP DOI BibTeX RDF	convergence hypothesis, test dispersion, test diversity, testing, debugging, convergence
24	Kirill Bogdanov 0002, Mike Holcombe, Harbhajan Singh	Automated Test Set Generation for Statecharts.	FM-Trends	1998	DBLP DOI BibTeX RDF
24	Krzysztof Kuchcinski, Bogdan Wiszniewski	Path analysis of distributed programs.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF
23	Ana Catarina Gomes, Ana C. R. Paiva, Alberto Rodrigues da Silva	Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language.	ISD	2021	DBLP BibTeX RDF
23	Erick Barros dos Santos, Lucas Simão da Costa, Thaís Marinho De Amorim, Bruno Sabóia Aragão, Ismayle de Sousa Santos, Danilo Reis de Vasconcelos, Rossana Maria de Castro Andrade	Extraction of test cases procedures from textual use cases: is it worth it?	J. Softw. Eng. Res. Dev.	2020	DBLP DOI BibTeX RDF
23	Italo Linhares de Araújo, Ismayle S. Santos, João Bosco Ferreira Filho, Rossana M. C. Andrade, Pedro de A. Santos Neto	Generating test cases and procedures from use cases in dynamic software product lines.	SAC	2017	DBLP DOI BibTeX RDF
23	Man Zhang 0001, Tao Yue 0002, Shaukat Ali 0001, Huihui Zhang, Ji Wu 0003	A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages.	SAM	2014	DBLP DOI BibTeX RDF
23	Lasse Harjumaa, Ilkka Tervonen	Introducing Mitigation Use Cases to Enhance the Scope of Test Cases.	IWSEC	2010	DBLP DOI BibTeX RDF
23	Javier J. Gutiérrez 0001, María José Escalona Cuaresma, Manuel Mejías, Jesús Torres 0001	An approach to generate test cases from use cases.	ICWE	2006	DBLP DOI BibTeX RDF	generation of text cases, functional testing, system testing
23	Javier J. Gutiérrez 0001, María José Escalona Cuaresma, Manuel Mejías, Jesús Torres 0001	System test cases from use cases.	ICSOFT (1)	2006	DBLP BibTeX RDF
23	Javier J. Gutiérrez 0001, M. José Escalona, Manuel Mejías, Jesús Torres 0001	Generating Test Cases from Sequences of Use Cases.	WEBIST (1)	2006	DBLP BibTeX RDF
23	Mario Friske, Bernd-Holger Schlingloff	Von Use Cases zu Test Cases: Eine systematische Vorgehensweise.	MBEES	2005	DBLP BibTeX RDF
23	Huaikou Miao, Shengbo Chen, Huanzhou Liu, Zhong-sheng Qian	An Approach to Generating Test Cases for Testing Component-based Web Applications.	IITA	2007	DBLP DOI BibTeX RDF
23	Siavash Mirarab, Ladan Tahvildari	A Prioritization Approach for Software Test Cases Based on Bayesian Networks.	FASE	2007	DBLP DOI BibTeX RDF	Bayesian Networks, Regression Testing, Test case Prioritization
23	Albert Elcock, Phillip A. Laplante	Testing software without requirements: using development artifacts to develop test cases.	Innov. Syst. Softw. Eng.	2006	DBLP DOI BibTeX RDF
23	Kwok Ping Chan, Tsong Yueh Chen, Dave Towey	Forgetting Test Cases.	COMPSAC (1)	2006	DBLP DOI BibTeX RDF
23	Philippe Chevalley, Pascale Thévenod-Fosse	Automated Generation of Statistical Test Cases from UML State Diagrams.	COMPSAC	2001	DBLP DOI BibTeX RDF	Software statistical testing, Experiments, Case study, Object-oriented systems, UML specifications
23	Suet Chun Lee, Jeff Offutt	Generating Test Cases for XML-Based Web Component Interactions Using Mutation Analysis.	ISSRE	2001	DBLP DOI BibTeX RDF
23	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
23	Soonuk Seol, Myungchul Kim 0001, Samuel T. Chanson, Sungwon Kang	Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle.	IEEE J. Sel. Areas Commun.	2004	DBLP DOI BibTeX RDF
23	Toshihiko Koju, Shingo Takada 0001, Norihisa Doi	Regression Test Selection based on Intermediate Code for Virtual Machines.	ICSM	2003	DBLP DOI BibTeX RDF
23	Nuo Li, Patrick Francis, Brian Robinson	Static Detection of Redundant Test Cases: An Initial Study.	ISSRE	2008	DBLP DOI BibTeX RDF
23	ChangSup Keum, Sungwon Kang, In-Young Ko, Jongmoon Baik, Young-Il Choi	Generating Test Cases for Web Services Using Extended Finite State Machine.	TestCom	2006	DBLP DOI BibTeX RDF
23	Adnan Ashraf, Aamer Nadeem	Automating the Generation of Test Cases from Object-Z Specifications.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
23	Vahid Garousi	Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty.	ICST	2008	DBLP DOI BibTeX RDF	Time Uncertainty, UML, Distributed Real-Time Systems, Stress Testing
23	Carsten Binnig, Donald Kossmann, Eric Lo 0001	Multi-RQP: generating test databases for the functional testing of OLTP applications.	DBTest	2008	DBLP DOI BibTeX RDF
23	Donglin Liang, Kai Xu 0002	Test-Driven Component Integration with UML 2.0 Testing and Monitoring Profile.	QSIC	2007	DBLP DOI BibTeX RDF
23	Scott McMaster, Atif M. Memon	Fault Detection Probability Analysis for Coverage-Based Test Suite Reduction.	ICSM	2007	DBLP DOI BibTeX RDF
23	Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva	Symbolic Test Selection Based on Approximate Analysis.	TACAS	2005	DBLP DOI BibTeX RDF
23	René G. de Vries, Jan Tretmans	On-the-fly Conformance Testing using SPIN.	Int. J. Softw. Tools Technol. Transf.	2000	DBLP DOI BibTeX RDF	Spin verification tool, Formal methods, Conformance testing, Test automation, Test generation algorithms
23	Martin Junghans 0002, Dirk Riehle, Rama Gurram, Matthias Kaiser, Mário Lopes, Ümit Yalçinalp	A grammar for standardized wiki markup.	Int. Sym. Wikis	2008	DBLP DOI BibTeX RDF	wiki creole, wiki engine performance, wiki markup, wiki markup grammar, wiki markup parser, wiki markup standard, wiki markup test cases, wikis
23	Huaikou Miao, Ling Liu, Chuanjiang Yu, Jijun Ming, Li Li	Z User Studio: An Integrated Support Tool for Z Specifications.	APSEC	2001	DBLP DOI BibTeX RDF	Z User Studio, Syntax parser, Type checker, Test cases generator, Z specifications
23	Kimberly D. Voll, Tom P. Yeh, Verónica Dahl	An assumptive logic programming methodology for parsing.	ICTAI	2000	DBLP DOI BibTeX RDF	assumptive logic programming methodology, continuation based linear assumptions, timeless assumptions, datalog grammars, terse treatments, language processing phenomena, concise parser, numbered word boundaries, left-corner parsing, constituent coordination, AI, logic programming, theorem proving, DATALOG, error correction, grammars, test cases, charting, error diagnosis, proof of concept, logic grammars
23	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
23	Tsong Yueh Chen, Yuen-Tak Yu	On the Relationship Between Partition and Random Testing.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	subdomain size, performance, software testing, program testing, random testing, software performance evaluation, test cases, random processes, partition testing, worst case, fault-detecting ability
22	Ben H. Smith, Laurie A. Williams	On guiding the augmentation of an automated test suite via mutation analysis.	Empir. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Line coverage, Empirical effectiveness, Test case augmentation, Mutation testing tool, Statement coverage, Web application, Open source, Fault injection, Unit testing, Mutation testing, Mutation analysis, Test adequacy
22	Gyun Woo, Heung Seok Chae, Hanil Jang	An Intermediate Representation Approach to Reducing Test Suites for Retargeted Compilers.	Ada-Europe	2007	DBLP DOI BibTeX RDF
22	Jun Yan 0009, Zhong Jie Li, Yuan Yuan 0036, Wei Sun 0001, Jian Zhang 0001	BPEL4WS Unit Testing: Test Case Generation Using a Concurrent Path Analysis Approach.	ISSRE	2006	DBLP DOI BibTeX RDF
22	Xue-ying Ma, Bin-kui Sheng, Cheng-qing Ye	Test-Suite Reduction Using Genetic Algorithm.	APPT	2005	DBLP DOI BibTeX RDF	Gene modeling, Genetic algorithm, Regression testing, Cost-effectiveness, Test-suite reduction
22	Dennis Jeffrey, Neelam Gupta	Test Suite Reduction with Selective Redundancy.	ICSM	2005	DBLP DOI BibTeX RDF
22	Anneliese Amschler Andrews, Chunhui Zhu, Michael Scheetz, Eric Dahlman, Adele E. Howe	AI Planner Assisted Test Generation.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	high level test objectives, system test, AI planning
22	Alberto Avritzer, Brian Larson	Load Testing Software Using Deterministic State Testing.	ISSTA	1993	DBLP DOI BibTeX RDF
22	Mohammad Reza Kakoee, Mohammad Hossein Neishaburi, Siamak Mohammadi	Functional Test-Case Generation by a Control Transaction Graph for TLM Verification.	DSD	2007	DBLP DOI BibTeX RDF
22	Geng-Dian Huang, Farn Wang	Automatic Test Case Generation with Region-Related Coverage Annotations for Real-Time Systems.	ATVA	2005	DBLP DOI BibTeX RDF
22	Mirjam Minor, Alexandre Hanft	The Life Cycle of Test Cases in a CBR System.	EWCBR	2000	DBLP DOI BibTeX RDF	knowledge acquisition, maintenance, Case-based reasoning, corporate memories
22	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
22	Praveen Ranjan Srivastava, Krishan Kumar, G. Raghurama	Test case prioritization based on requirements and risk factors.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	priority factor, weighted priority, software testing, test case prioritization, risk factor
22	Jifeng He 0001	Refinement and test case generation in Unifying Theory of Programming.	ICSM	2008	DBLP DOI BibTeX RDF