Academic literature on the topic 'Test Case Execution'

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 'Test Case Execution.'

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 "Test Case Execution"

1

Liu, Shuang Mei, Yong Po Liu, and Ji Wu. "Building a Distributed Testing Execution System Based on TTCN-3." Applied Mechanics and Materials 556-562 (May 2014): 2772–78. http://dx.doi.org/10.4028/www.scientific.net/amm.556-562.2772.

Full text
Abstract:
In this paper, a distributed testing execution system is designed, which provides a mechanism of node communication, test script deployment, test scheduling, executor-driving and test result collection in distributed environment. A workload model is established, by which testers can describe the performance testing requirement. A performance testing framework is given, which simulates user behaviors in real environment based on virtual users so as to generate workload from the system under test (SUT). It can control the execution of virtual users by TTCN-3 standard interface. After executing t
APA, Harvard, Vancouver, ISO, and other styles
2

Samad, Ali, Hairulnizam Bin Mahdin, Rafaqat Kazmi, Rosziati Ibrahim, and Zirawani Baharum. "Multiobjective Test Case Prioritization Using Test Case Effectiveness: Multicriteria Scoring Method." Scientific Programming 2021 (June 24, 2021): 1–13. http://dx.doi.org/10.1155/2021/9988987.

Full text
Abstract:
Modified source code validation is done by regression testing. In regression testing, the time and resources are limited, in which we have to select the minimal test cases from test suites to reduce execution time. The test case minimization process deals with the optimization of the regression testing by removing redundant test cases or prioritizing the test cases. This study proposed a test case prioritization approach based on multiobjective particle swarm optimization (MOPSO) by considering minimum execution time, maximum fault detection ability, and maximum code coverage. The MOPSO algori
APA, Harvard, Vancouver, ISO, and other styles
3

GÓMEZ-ZAMALLOA, MIGUEL, ELVIRA ALBERT, and GERMÁN PUEBLA. "Test case generation for object-oriented imperative languages in CLP." Theory and Practice of Logic Programming 10, no. 4-6 (2010): 659–74. http://dx.doi.org/10.1017/s1471068410000347.

Full text
Abstract:
AbstractTesting is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to a system under test. White-box TCG is usually performed by means of symbolic execution, i.e., instead of executing the program on normal values (e.g., numbers), the program is executed on symbolic values representing arbitrary values. When dealing with an object-oriented (OO) imperative language, symbolic execution becomes challenging as, among other things, it must be able to backtrack, complex heap-allocated
APA, Harvard, Vancouver, ISO, and other styles
4

Gladston, Angelin, H. Khanna Nehemiah, P. Narayanasamy, and A. Kannan. "Test Case Selection Using Feature Extraction and Clustering." International Journal of Knowledge-Based Organizations 8, no. 2 (2018): 18–31. http://dx.doi.org/10.4018/ijkbo.2018040102.

Full text
Abstract:
This article explains the selection of important parameters from an execution pattern which brings out the details of the application of test cases. Hence, execution profiles are captured and a new execution profile-based clustering approach is chosen for test case selection, which uses three new features. These are Function frequency, Branches taken and Block percentage. The test cases are clustered using the extracted features. The experiments show that the proposed FBB selects smaller size of more relevant test cases which are more fault revealing compared to the existing Function Call Prof
APA, Harvard, Vancouver, ISO, and other styles
5

Liu, Shuang Mei, Xue Mei Liu, and Yong Po Liu. "Realization of an Execution System of Distributed Performance Testing Based on TTCN-3." Applied Mechanics and Materials 713-715 (January 2015): 486–90. http://dx.doi.org/10.4028/www.scientific.net/amm.713-715.486.

Full text
Abstract:
An execution system of distributed performance testing is designed in this paper, which provides a mechanism of node communication, test script deployment, test scheduling, execution-driving and test result collection in distributed environment. A workload model is established, by which testers can describe the performance testing requirement. A performance testing framework is given, which simulates user behaviors in real environment based on virtual users so as to generate workload from the system under test (SUT). It can control the execution of virtual users by TTCN-3 standard interface. A
APA, Harvard, Vancouver, ISO, and other styles
6

Böhmer, Kristof, and Stefanie Rinderle-Ma. "Automatic Business Process Test Case Selection: Coverage Metrics, Algorithms, and Performance Optimizations." International Journal of Cooperative Information Systems 25, no. 04 (2016): 1740002. http://dx.doi.org/10.1142/s0218843017400020.

Full text
Abstract:
Business processes describe and implement the business logic of companies, control human interaction, and invoke heterogeneous services during runtime. Therefore, ensuring the correct execution of processes is crucial. Existing work is addressing this challenge through process verification. However, the highly dynamic aspects of the current processes and the deep integration and frequent invocation of third party services limit the use of static verification approaches. Today, one frequently utilized approach to address this limitation is to apply process tests. However, the complexity of proc
APA, Harvard, Vancouver, ISO, and other styles
7

Ma, Enze, Xiufeng Fu, and Xi Wang. "Scalable Path Search for Automated Test Case Generation." Electronics 11, no. 5 (2022): 727. http://dx.doi.org/10.3390/electronics11050727.

Full text
Abstract:
Test case generation is an important task during software testing. In this paper, we present a new test-case generation framework for C programs. This approach combines dataflow analysis and dynamic symbolic execution together, and more importantly, it efficiently searches the program path space for potential faults based on the tabu search strategy and the program fault statistics. Unlike the traditional symbolic execution, which explores the program space exhaustively and is difficult to apply to complicated programs effectively, our approach automatically explores the feasible paths of hidd
APA, Harvard, Vancouver, ISO, and other styles
8

de Souza, Luciano S., Ricardo B. C. Prudêncio, Flavia de A. Barros, and Eduardo H. da S. Aranha. "Search based constrained test case selection using execution effort." Expert Systems with Applications 40, no. 12 (2013): 4887–96. http://dx.doi.org/10.1016/j.eswa.2013.02.018.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Kumar Karne, Vinod, Noone Srinivas, Nagaraj Mandaloju, and Parameshwar Reddy Kothamali. "Reinforcement Learning for Optimizing Test Case Execution in Automated Testing." Innovative Research Thoughts 6, no. 3 (2020): 13–27. http://dx.doi.org/10.36676/irt.v6.i3.1494.

Full text
Abstract:
This study explores the use of reinforcement learning (RL) techniques to optimize test case execution in automated testing frameworks, addressing the inefficiencies of traditional testing methods. The primary research problem involves enhancing testing efficiency, improving coverage, and reducing redundancy through intelligent RL-based optimization. The study employed a design that integrated RL algorithms into automated testing frameworks, involving the development and training of an RL model, followed by empirical evaluation. ajor findings indicate that RL-based optimization significantly re
APA, Harvard, Vancouver, ISO, and other styles
10

Narendar, Kumar Ale. "Implementing Machine Learning Algorithms to Improve Test Case Generation and Execution." Journal of Scientific and Engineering Research 9, no. 7 (2022): 151–57. https://doi.org/10.5281/zenodo.12754817.

Full text
Abstract:
In the modern software development lifecycle, ensuring robust testing is crucial to deliver high-quality products. Traditional test case generation and execution methods often struggle with efficiency, coverage, and adaptability. This paper explores the application of machine learning (ML) algorithms to enhance the processes of test case generation and execution. By leveraging ML techniques, we can create more efficient, effective, and adaptive testing strategies that reduce human effort and improve software reliability.
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Test Case Execution"

1

Ying, PuLe, and LingZhi Fan. "Methods For Test Case Prioritization Based On Test Case Execution History." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-14785.

Full text
Abstract:
Motivation: Test case prioritization can prioritize test cases, optimize the test execution, save time and cost. There are many different methods for test case prioritization, test case prioritization method based on test case execution history is one kind of them. Based on the test case execution history, it’s easier to increase the rate of fault detection, hence we want to do a study about test case prioritization methods based on the test case execution history. Meanwhile, executing the feasible methods to compare the effectiveness of them. For the motivation of the thesis may be regarded a
APA, Harvard, Vancouver, ISO, and other styles
2

Yadavalli, Tejaswy. "An industrial case study to improve test case execution time." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-20889.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Bester, Willem Hendrik Karel. "Bug-finding and test case generation for java programs by symbolic execution." Thesis, Stellenbosch : Stellenbosch University, 2013. http://hdl.handle.net/10019.1/85832.

Full text
Abstract:
Thesis (MSc)--Stellenbosch University, 2013.<br>ENGLISH ABSTRACT: In this dissertation we present a software tool, Artemis, that symbolically executes Java virtual machine bytecode to find bugs and automatically generate test cases to trigger the bugs found. Symbolic execution is a technique of static software analysis that entails analysing code over symbolic inputs—essentially, classes of inputs—where each class is formulated as constraints over some input domain. The analysis then proceeds in a path-sensitive way adding the constraints resulting from a symbolic choice at a program branch
APA, Harvard, Vancouver, ISO, and other styles
4

Ameerjan, Sharvathul Hasan. "Predicting and Estimating Execution Time of Manual Test Cases - A Case Study in Railway Domain." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-35929.

Full text
Abstract:
Testing plays a vital role in the software development life cycle by verifying and validating the software's quality. Since software testing is considered as an expensive activity and due to thelimitations of budget and resources, it is necessary to know the execution time of the test cases for an efficient planning of test-related activities such as test scheduling, prioritizing test cases and monitoring the test progress. In this thesis, an approach is proposed to predict and estimate the execution time of manual test cases written in English natural language. The method uses test specificat
APA, Harvard, Vancouver, ISO, and other styles
5

Kaiser, Christoph. "Quantitative Analysis of Exploration Schedules for Symbolic Execution." Thesis, KTH, Skolan för datavetenskap och kommunikation (CSC), 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-216671.

Full text
Abstract:
Due to complexity in software, manual testing is not enough to cover all relevant behaviours of it. A different approach to this problem is Symbolic Execution. Symbolic Execution is a software testing technique that tests all possible inputs of a program in the hopes of finding all bugs. Due to the often exponential increase in possible program paths, Symbolic Execution usually cannot exhaustively test a program. To nevertheless cover the most important or error prone areas of a program, search strategies that prioritize these areas are used. Such search strategies navigate the program executi
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

Kunze, Sebastian. "Automated Test Case Generation for Function Block Diagrams using Java Path Finder and Symbolic Execution." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-28315.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

PESSOA, MARCOS BORGES. "AUTOMATIC GENERATION AND EXECUTION OF TEST SCRIPTS FOR WEB APPLICATIONS FROM USE CASE DRIVEN BY BEHAVIOR." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 2011. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=19129@1.

Full text
Abstract:
Este trabalho visa explorar os requisitos de software, descritos na forma de casos de uso, como instrumento capaz de apoiar a geração e execução automática de testes funcionais, com o intuito de verificar automaticamente se o resultado obtido nos testes gerados e executados estão em conformidade com o especificado. O trabalho consiste em utilizar um processo e ferramenta para documentar casos de uso e automaticamente gerar e executar scripts de teste para verificar o comportamento funcional de aplicações web. As informações do caso de uso, em especial os fluxos de eventos (principal e alternat
APA, Harvard, Vancouver, ISO, and other styles
9

Bogren, Patrik, and Isak Kristola. "Exploring the use of call stack depth limits to reduce regression testing costs." Thesis, Mittuniversitetet, Institutionen för data- och systemvetenskap, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:miun:diva-43166.

Full text
Abstract:
Regression testing is performed after existing source code has been modified to verify that no new faults have been introduced by the changes. Test case selection can be used to reduce the effort of regression testing by selecting a smaller subset of the test suite for later execution. Several criteria and objectives can be used as constraints that should be satisfied by the selection process. One common criteria is function coverage, which can be represented by a coverage matrix that maps test cases to methods under test. The process of generating and evaluating these matrices can be very tim
APA, Harvard, Vancouver, ISO, and other styles
10

Siddiqui, Asher. "Capturing JUnit Behavior into Static Programs : Static Testing Framework." Thesis, Linnaeus University, School of Computer Science, Physics and Mathematics, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:lnu:diva-5510.

Full text
Abstract:
<p>In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the <em>JUnit3.8 </em>source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective be
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Test Case Execution"

1

Lytton, Hugh. Why do schools differ in achievement test results?: Executive summary. The Author, 1997.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Commission, Nigeria National Universities. Appraisal of chief executives: A test case : analysis of staff assessment of the performance of the Executive Secretary, National Universities Commission, Professor Idris Abdulkadir. The Commission, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Joint Nasa/Geosat Test Case Project: Executive Summary/Part 1/Catalog No. 300. Amer Assn of Petroleum Geologists, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Stephens, Douglas Brent. The executive strategy function: State intervention in low performing schools. 2008.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
5

Pennington, Bruce F., Sally J. Rogers, Loisa Bennetto, Elizabeth McMahon Griffith, D. Taffy Reed, and Vivian Shyu. Validity tests of the executive dysfunction hypothesis of autism. Oxford University Press, 2015. http://dx.doi.org/10.1093/med:psych/9780198523499.003.0005.

Full text
Abstract:
This chapter aims to examine the validity of the hypothesis that executive dysfunction is the primary psychological cause of autism. It reviews work that supports this hypothesis, defines executive functions and elaborates on the executive dysfunction hypothesis, presents four validity tests of this hypothesis, and considers metatheoretical issues that bear on the search for the primary psychological cause of this disorder.
APA, Harvard, Vancouver, ISO, and other styles
6

Palin, Nate, and Rob Hartman. Preparing for the Army Combat Fitness Test. Human Kinetics, 2021. http://dx.doi.org/10.5040/9781718225480.

Full text
Abstract:
“The ACFT will change how people need to train and prepare to test for the Army, and this is the book we’ve been waiting for! Nate and Rob have the combination of experience and knowledge needed to train soldiers to meet the physical demands of the job and succeed in this assessment.” —Hunter Schurrer, Coach and Founder of The Performance Syndicate “The ACFT was a great step in establishing readiness standards as the tactical landscape evolves to produce and maintain healthier soldiers. This book serves as a map … The context given and breadth of provided programs will prove to be nothing less
APA, Harvard, Vancouver, ISO, and other styles
7

Thompson, Brian, and Michael Gordon. Cases & Materials on Constitutional & Administrative Law. Oxford University Press, 2017. http://dx.doi.org/10.1093/he/9780198767732.001.0001.

Full text
Abstract:
Extracts have been chosen from a wide range of historical and contemporary cases to illustrate the reasoning processes of the courts and to show how legal principles are developed. Cases &amp; Materials on Constitutional and Administrative Law is an invaluable resource. Extracts from the leading cases are combined with legal, political, and philosophical materials and linked together with explanatory text, alongside extensive notes and questions for discussion. The book takes a critical look at the main doctrines of constitutional law as well as the principles of administrative law, examining
APA, Harvard, Vancouver, ISO, and other styles
8

Nigeria. Appraisal of chief executives: A test case : Analysis of staff assessment of the performance of the Executive Secretary, National Universities Commission, Professor Idris Abdulkadir. The Commission, 1995.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

Le Sueur, Andrew, Maurice Sunkin, and Jo Eric Khushal Murkens. Public Law. Oxford University Press, 2019. http://dx.doi.org/10.1093/he/9780198820284.001.0001.

Full text
Abstract:
Public Law: Text, Cases, and Materials offers a fresh approach to the study of constitutional and administrative law. It provides clear and insightful commentary on the key institutions, legal principles, and conventions, and blends this with a carefully selected and diverse range of materials and case studies. Part I covers the fundamentals of the constitution. Part II examines the executive function including protecting rights, government and accountability Part III looks at the legislative function including primary and delegated legislation, European Union treaties, and legislative process
APA, Harvard, Vancouver, ISO, and other styles
10

Gordon, Deborah Dove. The Health Care Consumer’s Manifesto. ABC-CLIO, LLC, 2020. http://dx.doi.org/10.5040/9798400662355.

Full text
Abstract:
A health care executive at Harvard explains how to become a savvy consumer and get the value we all deserve for our health care spending. This book navigates and demystifies the confusing world of health care shopping. Readers go on a guided tour inside American health care to learn why it is so messy, and who is invested in keeping it that way. The text offers a new vision of how health care could work if it were truly designed to meet consumer needs, creating a call to action on how to demand and help create such a system. A wake-up call to an industry tenuously holding on to the status quo
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Test Case Execution"

1

Hu, Yan, and He Jiang. "Effective Test Case Generation via Concolic Execution." In Lecture Notes in Electrical Engineering. Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-34531-9_17.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Vidal, Germán. "Concolic Execution and Test Case Generation in Prolog." In Logic-Based Program Synthesis and Transformation. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17822-6_10.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Mossige, Morten, Arnaud Gotlieb, Helge Spieker, Hein Meling, and Mats Carlsson. "Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems." In Lecture Notes in Computer Science. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66158-2_25.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Lee, Youngkon. "Event-Centric Test Case Scripting Method for SOA Execution Environment." In Communications in Computer and Information Science. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-27207-3_53.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Lee, Youngkon. "Event-Centric Test Case Scripting Method for SOA Execution Environment." In Lecture Notes in Electrical Engineering. Springer Netherlands, 2011. http://dx.doi.org/10.1007/978-94-007-2792-2_35.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Britikov, Konstantin, Ilia Zlatkin, Grigory Fedyukovich, Leonardo Alt, and Natasha Sharygina. "SolTG: A CHC-Based Solidity Test Case Generator." In Computer Aided Verification. Springer Nature Switzerland, 2024. http://dx.doi.org/10.1007/978-3-031-65627-9_23.

Full text
Abstract:
AbstractAchieving high test coverage is important when developing blockchain smart contracts, but it could be challenging without automated reasoning tools. In this paper, we present SolTG, an automated test case generator for Solidity based on constrained Horn clauses (CHC). SolTG exhaustively enumerates symbolic path constraints from the contract’s CHC representation and makes calls to the Satisfiability Modulo Theories (SMT) solver to find input values under which the contract exhibits the corresponding behavior. Test cases synthesized by SolTG have the form of a sequence of function calls
APA, Harvard, Vancouver, ISO, and other styles
7

Frąckowiak-Adamska, Agnieszka. "Drawing Red Lines with No (Significant) Bites: Why an Individual Test Is Not Appropriate in the LM Case." In Defending Checks and Balances in EU Member States. Springer Berlin Heidelberg, 2021. http://dx.doi.org/10.1007/978-3-662-62317-6_18.

Full text
Abstract:
AbstractThis contribution argues that an obligation for an executing court to conduct an individual assessment in case of systemic deficiencies of the judiciary in other Member States is not an adequate tool for ensuring the respect for the rule of law. Infringements of the independence of the judiciary require other legal mechanisms of protection than fundamental rights. Moreover, individual test is often not feasible in the European judicial area as some other acts providing for recognition of judgments in the EU do not contain the mechanisms of refusal of recognition or execution. A breach
APA, Harvard, Vancouver, ISO, and other styles
8

Li, Jialong, Zhiqiang Wu, Jie Liu, Zhi Chen, and Zhaojun Liu. "Generation Method of Nuclear Power DCS Integrated Test Case Based on Symbolic Execution." In Lecture Notes in Electrical Engineering. Springer Nature Singapore, 2022. http://dx.doi.org/10.1007/978-981-19-3927-3_70.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Chung, Minh Thanh, Josef Weidendorfer, Karl Fürlinger, and Dieter Kranzlmüller. "Proactive Task Offloading for Load Balancing in Iterative Applications." In Parallel Processing and Applied Mathematics. Springer International Publishing, 2023. http://dx.doi.org/10.1007/978-3-031-30442-2_20.

Full text
Abstract:
AbstractLoad imbalance is often a challenge for applications in parallel systems. Static cost models and pre-partitioning algorithms distribute the load at the beginning. Nevertheless, dynamic changes during execution or inaccurate cost indicators may lead to imbalance at runtime. Reactive work-stealing strategies can help monitor the execution and perform task migration to balance the load. However, the benefits depend on migration overhead and assumption about future execution.Our proactive approach further improves existing solutions by applying machine learning to online load prediction. F
APA, Harvard, Vancouver, ISO, and other styles
10

Luo, Ershun, Dahai Jin, Bo Zhang, and Mingnan Zhou. "Execution Time Forecasting of Automatic Test Case Generation Based on Genetic Algorithm and BP Neural Network." In Communications in Computer and Information Science. Springer Singapore, 2018. http://dx.doi.org/10.1007/978-981-13-0893-2_61.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Test Case Execution"

1

Lehmann, Can Joshua, Lars Bauer, Hassan Nassar, Heba Khdr, and Jörg Henkel. "Hardware/Software Co-Analysis for Worst Case Execution Time Bounds." In 2025 Design, Automation & Test in Europe Conference (DATE). IEEE, 2025. https://doi.org/10.23919/date64628.2025.10992765.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Guida, Giuseppe, Mario D’Avino, Massimo Nisci, et al. "Automated Testing in Railways: Leveraging Robotic Arm Precision and Efficiency for Superior Customizability and Usability Test Case Execution." In 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). IEEE, 2025. https://doi.org/10.1109/icstw64639.2025.10962477.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ruschau, Gregory, Weiji Huang, Erin Sullivan, and Michael Surkein. "Hydrotesting of LNG Tanks Using Untreated Brackish Water." In CORROSION 2011. NACE International, 2011. https://doi.org/10.5006/c2011-11216.

Full text
Abstract:
Abstract Hydrostatic pressure testing, or hydrotesting, of oilfield production and storage equipment requires that the damage done to equipment during testing is minimal. In this case study, the storage tanks at a large liquefied natural gas (LNG) terminal were to be hydrotested using the natural brackish water found near the site. Due to environmental regulations and schedule/cost implications, chemical treatment of the hydrotest water was not possible. Concerns over both microbiologically influenced corrosion and preferential corrosion in the heat affected zone of the tank plate welds were t
APA, Harvard, Vancouver, ISO, and other styles
4

Stratis, Panagiotis, and Ajitha Rajan. "Test case permutation to improve execution time." In ASE'16: ACM/IEEE International Conference on Automated Software Engineering. ACM, 2016. http://dx.doi.org/10.1145/2970276.2970331.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Munakata, Kazuki, Susumu Tokumoto, and Tadahiro Uehara. "Model-based test case generation using symbolic execution." In the 2013 International Workshop. ACM Press, 2013. http://dx.doi.org/10.1145/2489280.2489282.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Santiago, Valdivino, Wendell P. Silva, and N. L. Vijaykumar. "Shortening Test Case Execution Time for Embedded Software." In 2008 Second IEEE International Conference on Secure System Integration and Reliability Improvement (SSIRI). IEEE, 2008. http://dx.doi.org/10.1109/ssiri.2008.49.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Wolovick, Nicolas, Pedro D'Argenio, and Hongyang Qu. "Optimizing probabilities of real-time test case execution." In 2009 2nd International Conference on Software Testing Verification and Validation (ICST 2009). IEEE, 2009. http://dx.doi.org/10.1109/icst.2009.59.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Jabbar, Emad, Hadi Hemmati, and Robert Feldt. "Investigating Execution Trace Embedding for Test Case Prioritization." In 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS). IEEE, 2023. http://dx.doi.org/10.1109/qrs60937.2023.00036.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Williams, Nicky, and Muriel Roger. "Test generation strategies to measure worst-case execution time." In 2009 ICSE Workshop on Automation of Software Test (AST). IEEE, 2009. http://dx.doi.org/10.1109/iwast.2009.5069045.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Papadakis, Mike, and Nicos Malevris. "Automatic Mutation Test Case Generation via Dynamic Symbolic Execution." In 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2010. http://dx.doi.org/10.1109/issre.2010.38.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Test Case Execution"

1

Niazi, Fawad. CPT-Based Geotechnical Design Manual, Volume 1: CPT Interpretation—Estimation of Soil Properties. Purdue University, 2022. http://dx.doi.org/10.5703/1288284317346.

Full text
Abstract:
This manual provides guidance on how to use the cone penetration test (CPT) for site investigation and foundation design. The manual has been organized into three volumes. Volume 1 covers the execution of CPT-based site investigations and presents a comprehensive literature review of CPT-based soil behavior type (SBT) charts and estimation of soil variables from CPT results. Volume 2 covers the methods and equations needed for CPT data interpretation and foundation design in different soil types, while Volume 3 includes several example problems (based on instrumented case histories) with detai
APA, Harvard, Vancouver, ISO, and other styles
2

Sakleshpur, Venkata A., Monica Prezzi, Rodrigo Salgado, and Mir Zaheer. CPT-Based Geotechnical Design Manual, Volume 2: CPT-Based Design of Foundations—Methods. Purdue University, 2022. http://dx.doi.org/10.5703/1288284317347.

Full text
Abstract:
This manual provides guidance on how to use the cone penetration test (CPT) for site investigation and foundation design. The manual has been organized into three volumes. Volume 1 covers the execution of CPT-based site investigations and presents a comprehensive literature review of CPT-based soil behavior type (SBT) charts and estimation of soil variables from CPT results. Volume 2 covers the methods and equations needed for CPT data interpretation and foundation design in different soil types, while Volume 3 includes several example problems (based on instrumented case histories) with detai
APA, Harvard, Vancouver, ISO, and other styles
3

Sakleshpur, Venkata A., Monica Prezzi, Rodrigo Salgado, and Mir Zaheer. CPT-Based Geotechnical Design Manual, Volume 3: CPT-Based Design of Foundations—Example Problems. Purdue University, 2022. http://dx.doi.org/10.5703/1288284317348.

Full text
Abstract:
This manual provides guidance on how to use the cone penetration test (CPT) for site investigation and foundation design. The manual has been organized into three volumes. Volume 1 covers the execution of CPT-based site investigations and presents a comprehensive literature review of CPT-based soil behavior type (SBT) charts and estimation of soil variables from CPT results. Volume 2 covers the methods and equations needed for CPT data interpretation and foundation design in different soil types, while Volume 3 includes several example problems (based on instrumented case histories) with detai
APA, Harvard, Vancouver, ISO, and other styles
4

Tsidylo, Ivan M., Serhiy O. Semerikov, Tetiana I. Gargula, Hanna V. Solonetska, Yaroslav P. Zamora, and Andrey V. Pikilnyak. Simulation of intellectual system for evaluation of multilevel test tasks on the basis of fuzzy logic. CEUR Workshop Proceedings, 2021. http://dx.doi.org/10.31812/123456789/4370.

Full text
Abstract:
The article describes the stages of modeling an intelligent system for evaluating multilevel test tasks based on fuzzy logic in the MATLAB application package, namely the Fuzzy Logic Toolbox. The analysis of existing approaches to fuzzy assessment of test methods, their advantages and disadvantages is given. The considered methods for assessing students are presented in the general case by two methods: using fuzzy sets and corresponding membership functions; fuzzy estimation method and generalized fuzzy estimation method. In the present work, the Sugeno production model is used as the closest
APA, Harvard, Vancouver, ISO, and other styles
5

Nikbin, Danial, and Yvan Labiche. A Consolidated List of FSM Mutation Operators. Carleton University. Department of Systems and Computer Engineering., 2024. https://doi.org/10.22215/crw/24p5021.

Full text
Abstract:
Mutation analysis is extensively used for the comparison of state-based testing methods that work from a finite state machine (FSM); It consists in seeding faults in the FSM model using mutation operators, one fault at a time, executing already constructed test suites on the correct FSM and the mutated FSMs and comparing executions to identify proportions of mutants revealed by test suites, a.k.a. the mutation score. Although a common experimental practice, there is still a lot to discover about FSM mutation operators so that we can adequately rely on experimental results that employ them, sta
APA, Harvard, Vancouver, ISO, and other styles
6

Chong, Alberto E., and Virgilio Galdo. Should State-Owned Firms Change CEOs before Privatization?: The Case of the Telecommunications Industry. Inter-American Development Bank, 2003. http://dx.doi.org/10.18235/0010809.

Full text
Abstract:
Should state-owned enterprises change chief executive officer before privatizing? We test competing views on this question by complementing a recently released database with newly collected data. We are able to cover 77 telecommunications privatizations, which account for nearly 80 percent of the sector in terms of value. We find that CEO replacement will improve performance in the telecommunications industry before privatization as measured by penetration, operating efficiency, and profitability. CEO change before privatization does appear to have real consequences in firm performance before
APA, Harvard, Vancouver, ISO, and other styles
7

Araujo, María Caridad, Andrés Mejía Acosta, and Vicente Albornoz. The political economy of the budget process: The case of Ecuador. Inter-American Development Bank, 2006. http://dx.doi.org/10.18235/0009198.

Full text
Abstract:
This study describes the main actors (formal and informal) involved in the budget-making process in Ecuador, and presents evidence regarding the main political and economic determinants of fiscal performance. It also discusses whether different political and institutional arrangements governing the budget process affect incentives for the composition of the budget. This paper seeks to fill a gap in the scholarly literature by analyzing the formal rules, incentives, and coalition dynamics of the relevant budget players behind the process of design, approval, execution, and oversight of budgets.
APA, Harvard, Vancouver, ISO, and other styles
8

Reilly-Collette, Marina, Brandon Booker, Kathryn Trubac, et al. Testing of dry decontamination technologies for chemical, biological, radiological, and nuclear (CBRN) response. Engineer Research and Development Center (U.S.), 2023. http://dx.doi.org/10.21079/11681/47032.

Full text
Abstract:
This report provides a summary of the results obtained in laboratory-scale testing of dry-decontamination technologies. The purpose of the experiment is to assess nonaqueous technologies to determine the viability of a solution to mitigate chemical, biological, radiological, and nuclear (CBRN) defense, CBRN Response Enterprise, medical casualty care, and cold-weather operational gaps. The Cold Regions Research and Engineering Laboratory (CRREL) assessed the efficacy, via percentage reduction, of four nonaqueous technologies to decontaminate particulate contamination, at three operational tempe
APA, Harvard, Vancouver, ISO, and other styles
9

Too, Gideon. A guide to low-cost| messaging & testing. Busara, 2024. http://dx.doi.org/10.62372/ndb8h337.

Full text
Abstract:
Civil society organizations (CSOs) like yours often work with limited funds, time, and resources. There’s also a misperception that testing is expensive. We’d like to show you that this isn’t always the case. This guide presents some simple ways to test your messaging and campaigns to identify how to best achieve your desired results – all while preserving your resources. This guidebook is meant for advocacy, communications, research and programs teams. These can be officers, managers and directors working with nascent or even established CSOs, social enterprises and other non-profits. It is p
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!