Log in

Relevant bibliographies by topics / Automated test set generation

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Automated test set generation'

Author: Grafiati

Published: 5 June 2025

Last updated: 2 August 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Automated test set generation.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Automated test set generation"

1

Movva, Himadeep. "Automated Testing Using UiPath Test Suite: A Framework for Scalable and Efficient Testing." International Scientific Journal of Engineering and Management 02, no. 06 (2023): 1–8. https://doi.org/10.55041/isjem01208.

Full text

Abstract:

Testing is one of the key components of any software development. RPA, with its advanced features, including those of Artificial Intelligence, can bring state-of-the-art solutions to automate use cases that were never imagined could be automated. This research study, through an in-depth analysis of features of the UiPath Test suite, explores the functionality of automated testing within UiPath and how a robust mechanism of an automated test management system through an efficient testing framework produces an RPA software product that is of robust design and highest quality. This research study

APA, Harvard, Vancouver, ISO, and other styles

2

CUKIC, BOJAN, BRIAN J. TAYLOR, and HARSHINDER SINGH. "AUTOMATED GENERATION OF TEST TRAJECTORIES FOR EMBEDDED FLIGHT CONTROL SYSTEMS." International Journal of Software Engineering and Knowledge Engineering 12, no. 02 (2002): 175–200. http://dx.doi.org/10.1142/s0218194002000895.

Full text

Abstract:

Automated generation of test cases is a prerequisite for fast testing. Whereas the research in automated test data generation addressed the creation of individual test points, test trajectory generation has attracted limited attention. In simple terms, a test trajectory is defined as a series of data points, with each (possibly multidimensional) point relying upon the value(s) of previous point(s). Many embedded systems use data trajectories as inputs, including closed-loop process controllers, robotic manipulators, nuclear monitoring systems, and flight control systems. For these systems, tes

APA, Harvard, Vancouver, ISO, and other styles

3

Avritzer, A., E. de Souza e Silva, R. M. M. Leão, and E. J. Weyuker. "Automated generation of test cases using a performability model." IET Software 5, no. 2 (2011): 113. http://dx.doi.org/10.1049/iet-sen.2010.0035.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Farooq, M. S., and Tayyaba Tahreem. "Requirement-Based Automated Test Case Generation: Systematic Literature Review." VFAST Transactions on Software Engineering 10, no. 2 (2022): 133–42. http://dx.doi.org/10.21015/vtse.v10i2.940.

Full text

Abstract:

There exist multiple techniques of software testing like requirement-based testing (RBT) an approach of software testing from which the tester can generate test cases on the base of requirements without considering the internal system’s structure. In the current area, automation testing is used to minimize time, cost, and human effort. As compared to automated testing, manual testing processes consume more human effort and time. Requirements are documented in natural language so there is no extra training required to understand requirements, RBT is the most used testing technique. Test cases g

APA, Harvard, Vancouver, ISO, and other styles

5

Kodanda, Rami Reddy Manukonda. "Efficient Test Case Generation using Combinatorial Test Design: Towards Enhanced Testing Effectiveness and Resource Utilization." European Journal of Advances in Engineering and Technology 7, no. 12 (2020): 78–83. https://doi.org/10.5281/zenodo.12737422.

Full text

Abstract:

Combinatorial testing is a promising approach to software testing that aims to improve testing effectiveness and optimize resource utilization. It involves systematically exploring interactions among input parameters, generating a reduced set of test cases while maintaining adequate coverage. Empirical research shows that most software defects result from a few input parameter interactions, emphasizing the importance of adopting combinatorial testing methodologies. Automated combinatorial testing tools offer consistency, efficiency, and resource optimization in test case generation. However, t

APA, Harvard, Vancouver, ISO, and other styles

6

Marculescu, Bogdan, Man Zhang, and Andrea Arcuri. "On the Faults Found in REST APIs by Automated Test Generation." ACM Transactions on Software Engineering and Methodology 31, no. 3 (2022): 1–43. http://dx.doi.org/10.1145/3491038.

Full text

Abstract:

RESTful web services are often used for building a wide variety of enterprise applications. The diversity and increased number of applications using RESTful APIs means that increasing amounts of resources are spent developing and testing these systems. Automation in test data generation provides a useful way of generating test data in a fast and efficient manner. However, automated test generation often results in large test suites that are hard to evaluate and investigate manually. This article proposes a taxonomy of the faults we have found using search-based software testing techniques appl

APA, Harvard, Vancouver, ISO, and other styles

7

V. Chandra Prakash, Dr, Subhash Tatale, Vrushali Kondhalkar, and Laxmi Bewoor. "A Critical Review on Automated Test Case Generation for Conducting Combinatorial Testing Using Particle Swarm Optimization." International Journal of Engineering & Technology 7, no. 3.8 (2018): 22. http://dx.doi.org/10.14419/ijet.v7i3.8.15212.

Full text

Abstract:

In software development life cycle, testing plays the significant role to verify requirement specification, analysis, design, coding and to estimate the reliability of software system. A test manager can write a set of test cases manually for the smaller software systems. However, for the extensive software system, normally the size of test suite is large, and the test suite is prone to an error committed like omissions of important test cases, duplication of some test cases and contradicting test cases etc. When test cases are generated automatically by a tool in an intelligent way, test erro

APA, Harvard, Vancouver, ISO, and other styles

8

Gagan, Kumar, and Chopra Vinay. "Automatic Test Data Generation for Basis Path Testing." Indian Journal of Science and Technology 15, no. 41 (2022): 2151–61. https://doi.org/10.17485/IJST/v15i41.1503.

Full text

Abstract:

Abstract <strong>Objectives:</strong> This paper presents a new hybrid ACO-NSA algorithm for the automatic test data generation problem with path coverage as an objective function. <strong>Method:</strong> In it, at the first instance, test data (detectors) are generated with the ant colony optimization algorithm (ACO), and then the generated data set (detector set) has been refined by a negative selection algorithm (NSA) with Hamming distance. <strong>Findings:</strong> The algorithm’s performance is tested on several benchmark problems with different data types

APA, Harvard, Vancouver, ISO, and other styles

9

Imam, Muhammad Hasan, Imran Ali Tasadduq, Abdul-Rahim Ahmad, Fahd Aldosari, and Haris Khan. "Automated Generation of Course Improvement Plans Using Expert System." International Journal of Quality Assurance in Engineering and Technology Education 6, no. 1 (2017): 1–12. http://dx.doi.org/10.4018/ijqaete.2017010101.

Full text

Abstract:

To satisfy ABET's continuous improvement criterion, an instructor, teaching a course suggests, at the end of the course, an improvement plan to be implemented when the same course is taught next time. Preparation of such a course improvement plan may be mandatory if a pre-specified target level of students' learning is not attained. Since, manual preparation of a course improvement plan is difficult, an idea of generating it using an expert system is presented. The objective is to make the task of improvement plan preparation easier and enjoyable. The proposed expert system has a set of remedi

APA, Harvard, Vancouver, ISO, and other styles

10

Antonelli, Leandro, Mariángeles Hozikian, Guy Camilleri, et al. "Wiki support for automated definition of software test cases." Kybernetes 49, no. 4 (2019): 1305–24. http://dx.doi.org/10.1108/k-10-2018-0548.

Full text

Abstract:

Purpose The design of tests is a very important step in the software development process because it allows us to match the users’ expectations with the finished product. Considered as a cumbersome activity, efforts have been made to automatize and alleviate the burden of test generation, but it is still a largely neglected step. The study aims to propose taking advantage of existing requirement artifacts, like scenarios that describe the dynamic of the domain in a very early stage of software development, to obtain tests from them. Design/methodology/approach In particular, the approach propos

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Automated test set generation"

1

Zhan, Yuan. "A search-based framework for automatic test-set generation for MATLAB/Simulink models." Thesis, University of York, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.425391.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Holm, Oscar. "Improving the Development of Safety Critical Software : Automated Test Case Generation for MC/DC Coverage using Incremental SAT-Based Model Checking." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-161335.

Full text

Abstract:

The importance and requirements of certifying safety critical software is today more apparent than ever. This study focuses on the standards and practices used within the avionics, automotive and medical domain when it comes to safety critical software. We identify critical problems and trends when certifying safety critical software and propose a proof-of-concept using static analysis, model checking and incremental SAT solving as a contribution towards solving the identiﬁed problems. We present quantitative execution times and code coverage results of our proposed solution. The proposed solu

APA, Harvard, Vancouver, ISO, and other styles

3

Cousins, Michael Anthony. "Automated structural test data generation." Thesis, University of Portsmouth, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261234.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Pietschker, Andrej. "Automated test generation from algebraic specifications." Thesis, University of Newcastle Upon Tyne, 2002. http://hdl.handle.net/10443/2015.

Full text

Abstract:

This thesis is a contribution to work on the specification-based testing of computing systems. The development of computing systems is a challenging task. A great deal of research has been directed at support for analysis, design and implementation aspects, yielding a wide range of development techniques. However, the crucial area of system testing remains relatively under-explored. Because a project may spend a good part of its budget on testing, even modest improvements to the cost-effectiveness of testing represent substantial improvements in project budgets. Relatively little literature ha

APA, Harvard, Vancouver, ISO, and other styles

5

Cheng, Xu. "Supporting automated system-level test scenario generation." Thesis, University of Ottawa (Canada), 2007. http://hdl.handle.net/10393/27821.

Full text

Abstract:

Software plays a significant role in society. It penetrates every field such as telecommunications, public administration, cooperation management, etc. In a software development life cycle (abbr., SDLC), software testing is a key phase. It accounts for a large part of software development costs. This is a consequence of testing being performed late in an improvised and impromptu way under the discretion of project managers. Continual testing as proposed by the extreme programming approach advocates that automated testing be performed in the early phases of the SDLC. Automation helps avoid diso

APA, Harvard, Vancouver, ISO, and other styles

6

Morrison, George Campbell. "Automated coverage calculation and test case generation." Thesis, Stellenbosch : Stellenbosch University, 2012. http://hdl.handle.net/10019.1/20041.

Full text

Abstract:

Thesis (MScEng)--Stellenbosch University, 2012.<br>ENGLISH ABSTRACT: This research combines symbolic execution, a formal method of static analysis, with various test adequacy criteria, to explore the e ectiveness of using symbolic execution for calculating code coverage on a program's existing JUnit test suites. Code coverage is measured with a number of test adequacy criteria, including statement coverage, branch coverage, condition coverage, method coverage, class coverage, and loop coverage. The results of the code coverage calculation is then used to automatically generate JUnit test

APA, Harvard, Vancouver, ISO, and other styles

7

de, Araujo Rodrigues Vieira Elisangela. "Automated model-based test generation for timed systems." Evry, Institut national des télécommunications, 2007. http://www.theses.fr/2007TELE0011.

Full text

Abstract:

Timed Systems are systems with real-time constraints. The correctness of a timed system depends not only upon the operations it performs but also the timing when they are performed. Testing a system aims to guarantee its correctness. Model-based test generation is an approach to generate test cases based on a formal model. Although test generation methods have been far proposed, its timed counterpart is still a new field. In addition, most of the proposed solutions suffer from combinatory explosion which still limits their applicability in practice. Accordingly, it explains why there are so fe

APA, Harvard, Vancouver, ISO, and other styles

8

Sudireddy, Samara Simha Reddy. "Accumulator Based Test Set Embedding." OpenSIUC, 2009. https://opensiuc.lib.siu.edu/theses/18.

Full text

Abstract:

In this paper a test set embedding based on accumulator driven by an odd additive constant is presented. The problem is formulated around finding the location of the test pattern in the sequence generated by the accumulator, given a odd constant C and test set T, in terms of linear Diophantine equation of two variables. We show that the search space for finding the best constant corresponding to the shortest length, is greatly reduced. Experimental results show a significant improvement in run time with practically acceptable test length.

APA, Harvard, Vancouver, ISO, and other styles

9

Wingfield, James. "Approaches to test set generation using binary decision diagrams." Thesis, Texas A&M University, 2003. http://hdl.handle.net/1969.1/20.

Full text

Abstract:

This research pursues the use of powerful BDD-based functional circuit analysis to evaluate some approaches to test set generation. Functional representations of the circuit allow the measurement of information about faults that is not directly available through circuit simulation methods, such as probability of random detection and test-space overlap between faults. I have created a software tool that performs experiments to make such measurements and augments existing test generation strategies with this new information. Using this tool, I explored the relationship of fault model difficul

APA, Harvard, Vancouver, ISO, and other styles

10

Mahmood, Shahid. "A Systematic Review of Automated Test Data Generation Techniques." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4349.

Full text

Abstract:

Automated Test Data Generation (ATDG) is an activity that in the course of software testing automatically generates test data for the software under test (SUT). It usually makes the testing more efficient and cost effective. Test Data Generation (TDG) is crucial for software testing because test data is one of the key factors for determining the quality of any software test during its execution. The multi-phased activity of ATDG involves various techniques for each of its phases. This research field is not new by any means, albeit lately new techniques have been devised and a gradual increase

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Automated test set generation"

1

Dislis, Chrssula. A Financially based automated advisor for design for test strategy generation. Brunel University, 1986.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Gun, I. A study of automated hypothesis generation for a large medical data set. UMIST, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Ivanov, Anatoliy. Flexible modular assembly lines on a single structural basis. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1196558.

Full text

Abstract:

The textbook discusses topical issues of automating the assembly of an extensive range of machine and instrument-making products based on highly efficient robotic reconfigurable systems of a new generation built on a single structural basis. The possibility of fast organization of automated assembly of new types of products, which is provided by the presence of a flexible basic set as part of the complex (line), is shown. A complete set of original technical means for basic and service operations of assembly and control of products is described. Analytical conditions of automatic assembly are

APA, Harvard, Vancouver, ISO, and other styles

4

Panischev, Aleksey. The History of Religions in Russia. INFRA-M Academic Publishing LLC., 2025. https://doi.org/10.12737/2160988.

Full text

Abstract:

The textbook is one of the first steps towards the methodological support of the discipline "History of Religions of Russia". The introduction of this academic subject into the higher education system was initiated by the Order of the President of Russia on November 4, 2022 and is due to a set of cultural circumstances related to certain geopolitical factors. The textbook is intended to explain the civilizational, multicultural, and ethical foundations of Russia in a religious dimension. The manual also contains self-test tasks. Meets the requirements of the latest generation of federal state

APA, Harvard, Vancouver, ISO, and other styles

5

Kas'yanova, Svetlana, Zh Kevorkova, M. Safonova, N. V. Laktionova, and N. V. Kulish. Audit. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1863115.

Full text

Abstract:

The textbook contains a set of developments in the field of audit. All the material is distributed on topics between theoretical, practical and seminar classes, as well as independent work of students in the form of discussions, presentations, test tasks, situational tasks. The theoretical and applied aspects of the organization and conduct of the audit are described, which allow assessing the effectiveness of the management of its affairs with due completeness and reliability. The latest legislative changes have been taken into account. The use of methodological materials will allow eac

APA, Harvard, Vancouver, ISO, and other styles

6

Kas'yanova, Svetlana. Accounting in the restaurant and hotel business and tourism. INFRA-M Academic Publishing LLC., 2022. http://dx.doi.org/10.12737/1171922.

Full text

Abstract:

The textbook outlines the theoretical and applied aspects of the organization and accounting features, which allow assessing the effectiveness of its management with a proper degree of completeness and reliability. The latest legislative changes have been taken into account. All the material is distributed on topics between theoretical, practical and seminar classes, as well as independent work of students in the form of discussions, presentations, situational tasks, test tasks. The use of methodological materials will allow students to rationally allocate their time while studying

APA, Harvard, Vancouver, ISO, and other styles

7

Shishkina, Elena. Tactical and forensic support of investigative activities: a workshop. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1546031.

Full text

Abstract:

The workshop is a set of educational and methodological materials intended for the development of the course "Tactical and forensic support of investigative activities". For each topic of the course, there is a list of studied and control questions, a list of recommended literature, as well as a set of control and measuring materials-test tasks, situational tasks. As elements of the methodological support of the course, the workshop contains samples of scenarios of business games and other interactive forms of conducting practical classes (discussions on problematic issues of the course), mate

APA, Harvard, Vancouver, ISO, and other styles

8

Chang, Robert Ching Wei. Functional fault equivalence and automated diagnositc test generation using conventional ATPG. 2005.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

O'leary. Rh Test Generation Software, IBM 3 1/2": Teaching Materials Set (O'LEARY MICROCOMPUTING SERIES). McGraw Hill Higher Education, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Williams, ER, AC Matheson, and CE Harwood. Experimental Design and Analysis for Tree Improvement. CSIRO Publishing, 2002. http://dx.doi.org/10.1071/9780643090132.

Full text

Abstract:

Experimental Design and Analysis for Tree Improvement provides a set of practical procedures to follow when planning, designing and analysing tree improvement trials.  Using many fully-worked examples, it outlines how to: design field, glasshouse and laboratory trials; efficiently collect data and construct electronic data files; pre-process data, screening for data quality and outliers; analyse data from single and across-site trials using either GenStat or SAS; and interpret the results from statistical analyses. The authors address the many practical issues often faced in forest

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Automated test set generation"

1

Bogdanov, K., M. Holcombe, and H. Singh. "Automated Test Set Generation for Statecharts." In Applied Formal Methods — FM-Trends 98. Springer Berlin Heidelberg, 1999. http://dx.doi.org/10.1007/3-540-48257-1_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Beyer, Dirk. "Software Testing: 5th Comparative Evaluation: Test-Comp 2023." In Fundamental Approaches to Software Engineering. Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30826-0_17.

Full text

Abstract:

AbstractThe 5th edition of the Competition on Software Testing (Test-Comp 2023) provides again an overview and comparative evaluation of automatic test-suite generators for C programs. The experiment was performed on a benchmark set of 4 106 test-generation tasks for C programs. Each test-generation task consisted of a program and a test specification (error coverage, branch coverage). There were 13 participating test-suite generators from 6 countries in Test-Comp 2023.

APA, Harvard, Vancouver, ISO, and other styles

3

Beyer, Dirk. "Advances in Automatic Software Testing: Test-Comp 2025." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-90900-9_13.

Full text

Abstract:

Abstract The 7th edition of the Competition on Software Testing (Test-Comp 2025) provides an overview and comparative evaluation of automatic test-suite generators for C programs. The experimental evaluation was performed on a benchmark set of 11 226 test-generation tasks for C programs. Each test-generation task consisted of a program and a test specification. The test specifications included error coverage (generate a test suite that exhibits a bug) and branch coverage (generate a test suite that executes as many program branches as possible). Test-Comp 2025 evaluated 20 software systems for

APA, Harvard, Vancouver, ISO, and other styles

4

Paduraru, Ciprian, Marius-Constantin Melemciuc, and Miruna Paduraru. "Automatic Test Data Generation for a Given Set of Applications Using Recurrent Neural Networks." In Communications in Computer and Information Science. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-29157-0_14.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Khari, Manju, Anunay Sinha, Enrique Herrerra-Viedma, and Rubén González Crespo. "On the Use of Meta-Heuristic Algorithms for Automated Test Suite Generation in Software Testing." In Toward Humanoid Robots: The Role of Fuzzy Sets. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-67163-1_6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Enoiu, Eduard, Nasir Mehmood Minhas, Michael Felderer, and Wasif Afzal. "Automated Test Generation." In Lecture Notes in Computer Science. Springer Nature Switzerland, 2025. https://doi.org/10.1007/978-3-031-87054-5_3.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Bromberger, Martin, Florent Krasnopol, Sibylle Möhle, and Christoph Weidenbach. "First-Order Automatic Literal Model Generation." In Automated Reasoning. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-63498-7_9.

Full text

Abstract:

AbstractGiven a finite consistent set of ground literals, we present an algorithm that generates a complete first-order logic interpretation, i.e., an interpretation for all ground literals over the signature and not just those in the input set, that is also a model for the input set. The interpretation is represented by first-order linear literals. It can be effectively used to evaluate clauses. A particular application are SCL stuck states. The SCL (Simple Clause Learning) calculus always computes with respect to a finite number of ground literals. It then finds either a contradiction or a s

APA, Harvard, Vancouver, ISO, and other styles

8

Lim, Jae-Hee, Suk-Hoon Song, Tae-Yong Kuc, Hong-Seong Park, and Hong-Seak Kim. "A Hierarchical Test Model and Automated Test Framework for RTC." In Future Generation Information Technology. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-10509-8_23.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Nielsen, Brian, and Arne Skou. "Automated Test Generation from Timed Automata." In Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45319-9_24.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Fraser, Gordon, and Andrea Arcuri. "Automated Test Generation for Java Generics." In Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-03602-1_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Automated test set generation"

1

Kurian, Elson, Giovanni Denaro, Pietro Braione, and Luca Guglielmo. "Automated Test Generation for Integration Testing." In 2025 IEEE/ACM International Conference on Automation of Software Test (AST). IEEE, 2025. https://doi.org/10.1109/ast66626.2025.00011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Wagstaff, Harry, Tom Spink, and Björn Franke. "Automated ISA branch coverage analysis and test case generation for retargetable instruction set simulators." In ESWEEK'14: TENTH EMBEDDED SYSTEM WEEK. ACM, 2014. http://dx.doi.org/10.1145/2656106.2656113.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Zhang Guangmei, Chen Rui, Li Xiaowei, and Han Congying. "The Automatic Generation of Basis Set of Path for Path Testing." In 14th Asian Test Symposium (ATS'05). IEEE, 2005. http://dx.doi.org/10.1109/ats.2005.106.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Ferreira, Matheus, Lincoln Costa, and Francisco Carlos Souza. "Search-based Test Data Generation for Mutation Testing: a tool for Python programs." In Escola Regional de Engenharia de Software. Sociedade Brasileira de Computação, 2020. http://dx.doi.org/10.5753/eres.2020.13722.

Full text

Abstract:

Test data generation for mutation testing consists of identifying a set of inputs that maximizes the number of mutants killed. Mutation Testing is an excellent test criterion for detecting faults and measuring the effectiveness of test data sets. However, it is not widely used in practice due to the cost and complexity to perform some activities as generating test data. Although test suites can be produced and selected manually by a tester this practice is susceptible to errors and tools are needed to facilitate it. Several tools have been developed to automate mutation testing, but, only a fe

APA, Harvard, Vancouver, ISO, and other styles

5

Shang, Ying, Kun Chang, Ruilian Zhao, and Zhigang Yin. "Template-Based and Coverage-Guided Verification Instruction Set Automatic Generation Method for DSP Chip." In 2023 IEEE 32nd Asian Test Symposium (ATS). IEEE, 2023. http://dx.doi.org/10.1109/ats59501.2023.10317999.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lahtinen, Jussi. "Automatic Test Set Generation for Function Block Based Systems Using Model Checking." In 2014 9th International Conference on the Quality of Information and Communications Technology (QUATIC). IEEE, 2014. http://dx.doi.org/10.1109/quatic.2014.15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Mendoza, Isela, Fernando Silva Filho, Gustavo Medeiros, Aline Paes, and Vânia O. Neves. "Comparative Analysis of Large Language Model Tools for Automated Test Data Generation from BDD." In Simpósio Brasileiro de Engenharia de Software. Sociedade Brasileira de Computação, 2024. http://dx.doi.org/10.5753/sbes.2024.3423.

Full text

Abstract:

Automating processes reduces human workload, particularly in software testing, where automation enhances quality and efficiency. Behavior-driven development (BDD) focuses on software behavior to define and validate required functionalities, using tools to translate functional requirements into automated tests. However, creating BDD scenarios and associated test data inputs is timeconsuming and heavily reliant on a good input data set. Large Language Models (LLMs) such as Microsoft’s Copilot, OpenAI’s ChatGPT-3.5, ChatGPT-4, and Google’s Gemini offer potential solutions by automating test data

APA, Harvard, Vancouver, ISO, and other styles

8

Arcaini, Paolo, Angelo Gargantini, and Elvinia Riccobene. "Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions." In 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 2011. http://dx.doi.org/10.1109/ase.2011.6100079.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Xu, John, and John Morris. "Procedural Generation in 2D Metroidvania Game with Answer Set Programming." In 13th International Conference on Computer Science, Engineering and Applications (CCSEA 2023). Academy and Industry Research Collaboration Center (AIRCC), 2023. http://dx.doi.org/10.5121/csit.2023.130511.

Full text

Abstract:

Video game designers often find themselves at a crossroad when designing levels; namely, many have a difficult time balancing the amount of control they want to have over what their levels look like [1]. If too little control is given, like in the case of pure perlin-noise generation, levels can end up with too much variation and unideal generations [2]. Softlock is an example of unideal generation in the case of metroidvania games, if the placement of keys cannot be easily controlled and end up being placed behind gates, the players can get permanently stuck [3]. Developers may usually hand-m

APA, Harvard, Vancouver, ISO, and other styles

10

Greenberg, Rebecca A., and Jeremy J. Dawkins. "Automated Scene Generation for High Fidelity Robotics Simulations." In ASME 2016 Dynamic Systems and Control Conference. American Society of Mechanical Engineers, 2016. http://dx.doi.org/10.1115/dscc2016-9635.

Full text

Abstract:

This paper presents a methodology for automatically generating a scene to be used in high fidelity robotic simulators. Modeling and simulation play an important role in the development and testing of robotic motion planning algorithms. Virtual Robotic Experimentation Platform (V-REP) is a robotic simulator that can be used to test state of the art robotics algorithms in environments called scenes. V-REP contains a remote application programming interface (API) for Matlab that allows for control of the simulation from the external application. Using this functionality, an algorithm was develope

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Automated test set generation"

1

Burstein, Jill, Geoffrey LaFlair, Antony Kunnan, and Alina von Davier. A Theoretical Assessment Ecosystem for a Digital-First Assessment - The Duolingo English Test. Duolingo, 2022. http://dx.doi.org/10.46999/kiqf4328.

Full text

Abstract:

The Duolingo English Test is a groundbreaking, digitalfirst, computeradaptive measure of English language proficiency for communication and use in Englishmedium settings. The test measures four key English language proficiency constructs: Speaking, Writing, Reading, and Listening (SWRL), and is aligned with the Common European Framework of Reference for Languages (CEFR) proficiency levels and descriptors. As a digitalfirst assessment, the test uses “humanintheloop AI” from end to end for test security, automated item generation, and scoring of testtaker responses. This paper presents a

APA, Harvard, Vancouver, ISO, and other styles

2

Haas, Robert, and Fred Suzuki. Automated Test Requirement Document Generation. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada195495.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Chalmers, Seth. The Challenges of Next-gen ADAS and ADS and Related Vehicle Safety Topics. SAE International, 2025. https://doi.org/10.4271/epr2025003.

Full text

Abstract:

<div class="section abstract"><div class="htmlview paragraph">Advanced driver assistance systems (ADAS) and automated driving systems (ADS) continue to expand into the market at a rapid pace. As improved (i.e., next generation) versions of these systems become available, they will continue to face many challenges in their implementation and benefits for safety and driving operations. The solution will involve many parties, including road safety professionals and researchers who see the potential in these systems but may have difficulties keeping up with them, and safety advocates w

APA, Harvard, Vancouver, ISO, and other styles

4

Park, Yena, Geoffrey LaFlair, Yigal Attali, Andrew Runge, and Sarah Goodwin. Interactive Reading - The Duolingo English Test. Duolingo, 2022. http://dx.doi.org/10.46999/rcxb1889.

Full text

Abstract:

This paper introduces a new item type on the Duolingo English Test called Interactive Reading and grounds the item within the Duolingo English Test’s theoretical language assessment design framework and its assessment ecosystem. The innovative response format and automated item generation methods contribute to the specification of the construct of L2 reading, thereby strengthening the validity claims of the Duolingo English Test.

APA, Harvard, Vancouver, ISO, and other styles

5

LaFlair, Geoffrey, Andrew Runge, Yigal Attali, Yena Park, Jacqueline Church, and Sarah Goodwin. Interactive Listening - The Duolingo English Test. Duolingo, 2023. http://dx.doi.org/10.46999/egei3342.

Full text

Abstract:

This paper introduces a new integrated task type on the Duolingo English Test called Interactive Listening and grounds the task within the Duolingo English Test’s theoretical language assessment design framework and its assessment ecosystem. The task and automated item generation methods contribute to measurement of the constructs of L2 listening, reading, and writing, thereby strengthening the validity claims of the Duolingo English Test.

APA, Harvard, Vancouver, ISO, and other styles

6

Park, Yena, Ramsey Cardwell, Sarah Goodwin, et al. Assessing Speaking on the Duolingo English Test. Duolingo, 2023. http://dx.doi.org/10.46999/djiy3654.

Full text

Abstract:

This paper presents the Duolingo English Test’s speaking construct, situated within the Duolingo English Test assessment ecosystem (Burstein et al., 2022). We describe how the Duolingo English Test defines, operationalizes, and measures speaking through various speaking-related item types. The operationalization and measurement of the speaking construct includes the item-type design process and automated item generation processes.

APA, Harvard, Vancouver, ISO, and other styles

7

Wang and Zhou. L52334 Curved Wide Plate Test Results and Transferability of Test Specimens. Pipeline Research Council International, Inc. (PRCI), 2011. http://dx.doi.org/10.55274/r0010008.

Full text

Abstract:

The work described in this report focuses on the development of data processing routines for curved-wide-plate (CWP) tests, the presentation of test results in a consistent and unified format, generation of fracture resistance curves from, and the examination of transferability between CWP and SENT (single-edge-notched tension) test specimens. The results of this work can be used for: Drafting and implementing consistent test procedures for CWP tests, Formulating test data for consistent presentation and comparison, Understanding the differences and limitations of test specimens of different s

APA, Harvard, Vancouver, ISO, and other styles

8

Lasko, Kristofer, Francis O’Neill, and Elena Sava. Automated mapping of land cover type within international heterogenous landscapes using Sentinel-2 imagery with ancillary geospatial data. Engineer Research and Development Center (U.S.), 2024. http://dx.doi.org/10.21079/11681/49367.

Full text

Abstract:

A near-global framework for automated training data generation and land cover classification using shallow machine learning with low-density time series imagery does not exist. This study presents a methodology to map nine-class, six-class, and five-class land cover using two dates of a Sentinel-2 granule across seven international sites. The approach uses a series of spectral, textural, and distance decision functions combined with modified ancillary layers to create binary masks from which to generate a balanced set of training data applied to a random forest classifier. For the land cover m

APA, Harvard, Vancouver, ISO, and other styles

9

Martinez, Kimberly D., and Gaojian Huang. Exploring the Effects of Meaningful Tactile Display on Perception and Preference in Automated Vehicles. Mineta Transportation Institute, 2022. http://dx.doi.org/10.31979/mti.2022.2164.

Full text

Abstract:

There is an existing issue in human-machine interaction, such that drivers of semi-autonomous vehicles are still required to take over control of the vehicle during system limitations. A possible solution may lie in tactile displays, which can present status, direction, and position information while avoiding sensory (e.g., visual and auditory) channels overload to reliably help drivers make timely decisions and execute actions to successfully take over. However, limited work has investigated the effects of meaningful tactile signals on takeover performance. This study synthesizes literature i

APA, Harvard, Vancouver, ISO, and other styles

10

O'Neill, Francis, Kristofer Lasko, and Elena Sava. Snow-covered region improvements to a support vector machine-based semi-automated land cover mapping decision support tool. Engineer Research and Development Center (U.S.), 2022. http://dx.doi.org/10.21079/11681/45842.

Full text

Abstract:

This work builds on the original semi-automated land cover mapping algorithm and quantifies improvements to class accuracy, analyzes the results, and conducts a more in-depth accuracy assessment in conjunction with test sites and the National Land Cover Database (NLCD). This algorithm uses support vector machines trained on data collected across the continental United States to generate a pre-trained model for inclusion into a decision support tool within ArcGIS Pro. Version 2 includes an additional snow cover class and accounts for snow cover effects within the other land cover classes. Overa

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!