Log in

Relevant bibliographies by topics / Systematic Testing

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Systematic Testing'

Author: Grafiati

Published: 4 June 2021

Last updated: 1 February 2022

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 'Systematic Testing.'

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 "Systematic Testing"

1

Perumal, Kovlin, and Emlyn Flint. "Systematic testing of systematic trading strategies." Journal of Investment Strategies 7, no. 3 (2018): 29–49. http://dx.doi.org/10.21314/jois.2018.100.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Zarrad, Anis. "A Systematic Review on Regression Testing for Web-Based Applications." Journal of Software 10, no. 8 (2015): 971–90. http://dx.doi.org/10.17706//jsw.10.8.971-990.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Joselow, Morris M. "Systematic Toxicity Testing of Drugs." International Journal of the Addictions 20, no. 4 (1985): 535–46. http://dx.doi.org/10.3109/10826088509044933.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Albert, Elvira, Puri Arenas, and Miguel Gómez-Zamalloa. "Systematic testing of actor systems." Software Testing, Verification and Reliability 28, no. 3 (2018): e1661. http://dx.doi.org/10.1002/stvr.1661.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Ebert, Christof, Michael Weyrich, Benjamin Lindemann, and Sarada Preethi Chandrasekar. "Systematic Testing for Autonomous Driving." ATZelectronics worldwide 16, no. 3 (2021): 18–23. http://dx.doi.org/10.1007/s38314-020-0575-6.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Hennell, M. A. "How to avoid systematic software testing." Software Testing, Verification and Reliability 1, no. 1 (1991): 23–30. http://dx.doi.org/10.1002/stvr.4370010105.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Hwang, JeeHyun, Tao Xie, Fei Chen, and Alex X. Liu. "Systematic Structural Testing of Firewall Policies." IEEE Transactions on Network and Service Management 9, no. 1 (2012): 1–11. http://dx.doi.org/10.1109/tnsm.2012.012012.100092.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Bakkers, Mayienne, Catharina G. Faber, Martine J. H. Peters, et al. "Temperature threshold testing: a systematic review." Journal of the Peripheral Nervous System 18, no. 1 (2013): 7–18. http://dx.doi.org/10.1111/jns5.12001.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Bertolino, Antonia, Guglielmo De Angelis, Micael Gallego, et al. "A Systematic Review on Cloud Testing." ACM Computing Surveys 52, no. 5 (2019): 1–42. http://dx.doi.org/10.1145/3331447.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Baudry, Benoit, Sudipto Ghosh, Franck Fleurey, Robert France, Yves Le Traon, and Jean-Marie Mottu. "Barriers to systematic model transformation testing." Communications of the ACM 53, no. 6 (2010): 139–43. http://dx.doi.org/10.1145/1743546.1743583.

Full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Systematic Testing"

1

Fu, Xiaoying. "System modelling and systematic testing." Thesis, University of Southampton, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.295649.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Bruening, Derek L. (Derek Lane) 1976. "Systematic testing of multithreaded Java programs." Thesis, Massachusetts Institute of Technology, 1999. http://hdl.handle.net/1721.1/80050.

Full text

Abstract:

Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1999.<br>Includes bibliographical references (p. 149-150).<br>Derek L. Bruening.<br>M.Eng.

APA, Harvard, Vancouver, ISO, and other styles

3

Simsa, Jiri. "Systematic and Scalable Testing of Concurrent Programs." Research Showcase @ CMU, 2013. http://repository.cmu.edu/dissertations/285.

Full text

Abstract:

The challenge this thesis addresses is to speed up the development of concurrent programs by increasing the efficiency with which concurrent programs can be tested and consequently evolved. The goal of this thesis is to generate methods and tools that help software engineers increase confidence in the correct operation of their programs. To achieve this goal, this thesis advocates testing of concurrent software using a systematic approach capable of enumerating possible executions of a concurrent program. The practicality of the systematic testing approach is demonstrated by presenting a novel software infrastructure that repeatedly executes a program test, controlling the order in which concurrent events happen so that different behaviors can be explored across different test executions. By doing so, systematic testing circumvents the limitations of traditional ad-hoc testing, which relies on chance to discover concurrency errors. However, the idea of systematic testing alone does not quite solve the problem of concurrent software testing. The combinatorial nature of the number of ways in which concurrent events of a program can execute causes an explosion of the number of possible interleavings of these events, a problem referred to as state space explosion. To address the state space explosion problem, this thesis studies techniques for quantifying the extent of state space explosion and explores several directions for mitigating state space explosion: parallel state space exploration, restricted runtime scheduling, and abstraction reduction. In the course of its research exploration, this thesis pushes the practical limits of systematic testing by orders of magnitude, scaling systematic testing to real-world programs of unprecedented complexity.

APA, Harvard, Vancouver, ISO, and other styles

4

Muneer, Imran. "Systematic Review on Automated Testing (Types, Effort and ROI)." Thesis, Linköpings universitet, Institutionen för datavetenskap, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105779.

Full text

Abstract:

Software organizations always want to build software by minimizing their resources to reduce overall cost and by maintaining high quality to produce reliable software. Software testing helps us to achieve these goals in this regard. Software testing can be manual or automated. Manual testing is a very expensive activity. It takes much time to write test cases and run them one by one. It can be error-prone due to much involvement of human throughout the process. Automated testing reduces the testing time which results in reduction of overall software cost as well as it provides other benefits i.e. early time to market, improved quality. Organizations are willing to invest in test automation. Before investment, they want to know the expected cost and benefits for AST. Effort is the main factor, which increase the cost of testing. In this thesis, a systematic review have been conducted which identifies and summarizes all the retrieved research concerning the automated testing types, effort estimation and return on investment (ROI) / cost-benefit analysis for automated testing. To conduct the systematic review, the author has developed a comprehensive plan which follows the procedure presented in [15]. This plan provides guidance to identify relevant research articles of a defined period. After the identification of research articles, it collects, evaluates and then interprets all the retrieved data about automated testing types, effort estimation and ROI. The results have been presented in statistical and descriptive form which provides different aspects of the data. The statistical results have been presented with the help of tables and graphs which show different aspects of data i.e. any gaps in research work of automated testing, number of articles for each testing type. The answers of the questions have been presented in descriptive form. The descriptive results show 22 automated testing types, 17 Industrial case studies out of 60 studies, benefits of automated testing and effort estimation models. The discussion part highlighted some important facts about the retrieved data and provides practical implications for conducting systematic reviews. Finally it is concluded that systematic reviews are good means of finding and analyzing research data about a topic, phenomena and area of interest. It also provides support to researchers for conducting and investigating more research.

APA, Harvard, Vancouver, ISO, and other styles

5

Thomson, Paul. "Practical systematic concurrency testing for concurrent and distributed software." Thesis, Imperial College London, 2016. http://hdl.handle.net/10044/1/55908.

Full text

Abstract:

Systematic concurrency testing (SCT) is a promising solution to finding and reproducing concurrency bugs. The program under test is repeatedly executed such that a particular schedule is explored on each execution. Numerous techniques have been proposed to make SCT scalable. Despite this, we have identified the following open problems: (1) There is a major lack of comparison and empirical evaluation of SCT techniques; (2) There is a need for better reduction techniques that go beyond the current theoretical limits; (3) The feasibility of applying SCT in practice is unclear, particularly for distributed systems. This thesis makes the following contributions to the field of SCT: 1. An independent, reproducible empirical study of existing SCT techniques over 49 buggy concurrent software benchmarks. Surprisingly, we found that the "naive" controlled random scheduler performs well, finding more bugs than preemption bounding. We report the results for all techniques. We discuss the benchmarks and challenges faced in applying SCT. 2. The lazy happens-before relation (lazy HBR), which provides reduction beyond partial-order reduction for programs that use mutexes. Our evaluation over 79 publicly available benchmarks shows both a large potential and large practical improvement from exploiting the lazy HBR. 3. A description of how to create an SCT tool in practice, with a focus on subtle-yet-important details that are typically not discussed in prior work. 4. A case study where we apply SCT in the context of distributed systems written for Azure Service Fabric (Fabric). We introduce our Adara actors framework for writing portable, statically-typed actors. We describe our model of Fabric and evaluate it on a system containing 15 bugs, showing that our Fabric model includes enough behaviours/asynchrony to expose these subtle pitfalls.

APA, Harvard, Vancouver, ISO, and other styles

6

Gilmore, John Y. "Testing for systematic ESG fund construction and independence measures." Thesis, Massachusetts Institute of Technology, 2018. http://hdl.handle.net/1721.1/118551.

Full text

Abstract:

Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, System Design and Management Program, 2018.<br>Cataloged from PDF version of thesis.<br>Includes bibliographical references (pages 39-40).<br>There has been significant research concerning the investment case for Environmental, Social and Governance Funds (ESG), however research into how these funds are constructed has been less studied. The purpose of this study is not to investigate the risk return case for ESG funds. Instead, this study will focus on the uniqueness of construction, and underlying assets of ESG specific funds. The majority of ESG classified investing is done through fund firms who self willingly vet their existing funds to ESG guidelines. It is more elocutionary, rather than a focused construction methodology. The hypothesis of this study is that funds created specifically for ESG investing are built on this same methodology, and are adapted from an existing fund very similar to the S&P 500. To test for uniqueness, large cap US equity ESG funds were compared against how many of the underlying assets were shared with the S&P 500. Signals found heavy overlap. However when looking at how the underlying assets are weighted in the fund verse the S&P 500, differences become more pronounced. Interestingly in the aggregate, the portion of the ESG funds dedicated to stocks that are not included in the S&P 500 were not that significant. There are several funds that are constructed with very different underlying assets than the S&P 500 Index, and funds that are very similar. This study then investigated how much of the underlying assets of each fund differed from the S&P 500 by adjusting the weights of just the underlying assets which it shares with each fund to measure the effect of dilution from the removed "non-ESG" compliant stocks. The resulting increase in overlap was significant for several individual funds, but modest for all funds. Then this study sampled to find if there is more overlap with different common index funds. Interestingly, there was often a higher overlap with the S&P 500 than with a fund's stated benchmark such as the Russell 1000 or Russell 1000 Value Index. Finally this study looked for correlations between the 3 month, 1 year, 3 year and Morningstar ESG peer performance percentiles. Modest correlations were found slightly favoring funds which were more similar to the S&P 500. Then correlations between each fund's management fee and similarity in the underlying assets were tested. There is evidence that the more unique the fund is, the higher the management fee. However, there is no evidence of correlation between the fund's management fee and the fund's Morningstar ESG score. The take away from this study is that some funds are very similar to index funds, like the S&P 500, while other funds have very little in common with standard index funds. There was significant overlap in the underlying assets and the S&P 500, however there was also significant differences in how the underlying assets were weighted. There was not a one to one exchange with a non-ESG compliant underlying asset with another asset with similar characteristic but was ESG compliant.<br>by John Y. Gilmore.<br>S.M. in Engineering and Management

APA, Harvard, Vancouver, ISO, and other styles

7

Perumal, Kumaresen Pavithra. "AGENT BASED SYSTEMS IN SOFTWARE TESTING –A SYSTEMATIC MAPPING STUDY." Thesis, Mälardalens högskola, Akademin för innovation, design och teknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48672.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Shabbir, Kashif, and Muhammad Amar. "Systematic Review on Testing Aspect-orientedPrograms : Challenges, Techniques and Their Effectiveness." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3109.

Full text

Abstract:

Aspect-oriented programming is a relatively new programming paradigm and it builds on the basis of object oriented programming paradigm. It deals with those concerns that cross-cut the modularity of traditional programming mechanisms and it aims at reduction of code and to provide higher cohesion. As with any new technology aspect oriented programming provides some benefits and also there are some costs associated with it. In this thesis we have done a systematic review on aspect oriented software testing in the context of testing challenges. Detailed analysis have been made to show that how effective are the structural test techniques to handle these challenges. We have given the analysis of Aspect-oriented test techniques effectiveness, based on research literature.<br>Aspekt-orienterad programmering är ett relativt nytt programmering paradigm och det bygger på grundval av objektorienterad programmering paradigm. Det handlar om de farhågor som KORSSKUREN den modularitet av traditionell programmering mekanismer och det syftar till minskning av kod och för att ge högre sammanhållning. Som med all ny teknik aspekt-orienterad programmering ger vissa fördelar och det finns vissa kostnader associerade med den. I denna avhandling har vi gjort en systematisk översyn av aspekt orienterad mjukvara testning i samband med provning utmaningar. Detaljerad analys har gjorts för att visa att hur effektiva är de strukturella provmetoder för hantera dessa utmaningar. Vi har gett en analys av Aspect-oriented testa tekniker effektivitet, baserade på forskningslitteratur.<br>FOLKPARKSVAGEN 18 Room 03 Ronneby 37240 Sweden Mobile Number Kashif 073-9124604, Amar 073-6574048

APA, Harvard, Vancouver, ISO, and other styles

9

Mbah, Rowland. "Using reliability growth testing to reveal systematic faults in safety-instrumented systems." Thesis, Norges teknisk-naturvitenskapelige universitet, Institutt for produksjons- og kvalitetsteknikk, 2014. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-25525.

Full text

Abstract:

This master thesis studies the effects of systematic faults in the development phase of a safety-instrumented system, especially the relation between systematic faults and operational common-cause failures. Safety-instrumented systems are used widely in many industry sectors to detect on the onset of hazardous events and mitigate the consequences to humans, the environment and material assets. Systematic faults are non-physical faults introduced due to design errors or mistakes. Unidentified systematic faults represent a serious problem, as their safety effects are unpredictable and are not normally susceptible to a statistical analysis like random faults. In addition to safety effects, there can also be economic losses through product recalls, high warranty costs, customer dissatisfaction and loss of market share. Reliability growth testing is the same as TAAF (test-analyze-and-fix) testing of a product early in the design and development phases of the product life cycle when design changes can be made readily in response to observed failures. Reliability growth testing, if applied in the development phase of a safety-instrumented system helps to overcome the disadvantages of doing the test in other phases, because it can be costly, highly inconvenient and time consuming in these phases. The main focus of the thesis is to study, evaluate, and discuss to what extent reliability growth testing of safety-instrumented systems is a suitable approach for identifying and avoiding systematic faults, and develop guidelines for reliability growth testing to achieve this purpose. The thesis builds on concepts, methods and definitions adopted from two major standards for safety-instrumented applications: IEC 61508 and IEC 61511, and IEC 61014: Programmes for reliability growth. The development of procedures on how to identify and correct systematic faults by reliability growth testing are inspired by these three standards and other relevant literature found during the course of the master thesis project. The main contributions of this thesis are:1. Illustrative examples of fire and gas detection and mitigation systems, car airbag and mobile phone have been used to develop procedures on how reliability growth testing is used to identify and correct systematic faults.2. Detailed discussion of systematic faults, common-cause failures and the relationship between them have been presented. It has been established that systematic faults give rise to common-cause failures, which dominate the reliability of safety-instrumented systems.3. Detailed discussion of reliability growth testing, its models and methods, and strengths and weaknesses of the models and methods have been provided. Both continuous and discrete models are studied. The Duane model, which is an example of a continuous model is commonly used because of its simplicity and graphical presentation.4. The challenges and pitfalls of reliability growth testing in relation to systematic faults are discussed. The major challenge is the introduction of new failure modes, especially in case of software testing.5. Measures to handle systematic faults revealed during the test have been provided. The measures include: use of diverse and redundant channels, design reviews, use of simple designs, use of competent designers, training and re-training of designers and use of reliability analysis to identify causes of faults.

APA, Harvard, Vancouver, ISO, and other styles

10

Wanner, Svenja. "Systematic approach on conducting fatigue testing of unidirectional continuous carbon fibre composites." Thesis, KTH, Lättkonstruktioner, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-261694.

Full text

Abstract:

High fuel saving potentials, increased load carrying capacities and therefore competitive advantages force the heavy goods vehicle industry to enhance the efforts towards comprehensive lightweight designs. Facing this challenge, the material evaluation in terms of simulations and physical testing of composite materials is required for the design against fatigue failure due to road introduced vibrations. Eliminating fatigue testing issues in order to gain acceptable and reproducible results, a future-oriented systematic approach on conducting constant amplitude tension-tension fatigue testing on a unidirectional composite material is presented. Following the material characterisation of the carbon/epoxy material in terms of tensile and shear properties as well as fibre volume fraction, several combinations of tab configurations and specimen geometries have been tested with regard to their suitability for fatigue testing. Finally, the unidirectional material was successfully tested under tension-tension fatigue and first elaborated test data were assessed. In conclusion, the usage of straight aluminium tabs completely clamped inside the grips and bonded to the straight-sided specimen with 3M DP420 adhesive, using ventilation during the test is the recommended test procedure.<br>Lastbilsindustrin tvingas öka ansträngningarna för omfattande viktbesparingar med lättviktskonstruktioner då dessa har konkurrenskraftiga fördelar med potential att minska bränsleförbrukningen samt öka den lastbärande kapaciteten. Genom att ta sig an denna utmaning kommer materialkarakterisering, provning och simulering av kompositmaterial vara av stor betydelse för att kunna konstruera produkter utsatta för cykliska laster från väginducerade vibrationer. Vid utmattningsprovning är det viktigt att kunna generera acceptabla och reproducerbara resultat. I denna rapport presenteras hur man kan undvika och eliminera problem vid utmattningsprovning, samt ett systematiskt tillvägagångsätt vid genomförande av utmattningsprovning med konstant amplitud för belastningen drag-drag på ett kompositmaterial med enkelriktad fiberorientering. Ett kolfiber/epoximaterial är karakteriserat och flertal kombinationer av tab-konfiguration och provstavsgeometri har testats, med avseende på lämplighet för utmattningsprovning. Slutligen har kolfiber/epoximaterialet provats med framgång under cyklisk drag-drag belastning i fiberriktningen. Slutsatsen för utmattningsprovning är att använda sig av raka aluminium tabbar helt fastklämda inuti greppen. Tabbarna limmas fast på provstaven med 3M DP420 lim. Ventilation är också rekommenderat under provning för att undvika en ökning av temperatur i provstaven.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Books on the topic "Systematic Testing"

1

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance. National Risk Management Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance. National Risk Management Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

3

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance. National Risk Management Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance. National Risk Management Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

5

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance. National Risk Management Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance. National Risk Management Research Laboratory, Office of Research and Development, U.S. Environmental Protection Agency, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

7

Munro, James F. Routine preoperative testing: A systematic review of the evidence. Core Research, on behalf of the NCCHTA, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Tursky, Christine. Test system design: A systematic approach. Prentice Hall PTR, 2001.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

9

Heijde, Paul Van der. Ground-water model testing: Systematic evaluation and testing of code functionality and performance : project summary. U.S. Environmental Protection Agency, National Risk Management Research Laboratory, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

10

Paul K. M. Van der Heijde. Ground-water model testing: Systematic evaluation and testing of code functionality and performance : project summary. U.S. Environmental Protection Agency, National Risk Management Research Laboratory, 1997.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

More sources

Book chapters on the topic "Systematic Testing"

1

Brauer, Johannes. "Systematic Testing." In Programming Smalltalk – Object-Orientation from the Beginning. Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-06823-3_15.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Voges, U., and J. R. Taylor. "Systematic Testing." In Verification and Validation of Real-Time Software. Springer Berlin Heidelberg, 1985. http://dx.doi.org/10.1007/978-3-642-70224-2_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dghaym, Dana, Tomas Fischer, Thai Son Hoang, et al. "Systematic Verification and Testing." In Validation and Verification of Automated Systems. Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-14628-3_9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Schmerl, Sebastian, and Hartmut Koenig. "Towards Systematic Signature Testing." In Testing of Software and Communicating Systems. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-73066-8_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hennell, M. A., D. Hedley, and I. J. Riddell. "Program analysis and systematic testing." In High-Integrity Software. Springer US, 1989. http://dx.doi.org/10.1007/978-1-4684-5775-9_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Sharma, Rohan, Milos Gligoric, Andrea Arcuri, Gordon Fraser, and Darko Marinov. "Testing Container Classes: Random or Systematic?" In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19811-3_19.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Wegener, Joachim, and Ines Fey. "Systematic unit-testing of Ada programs." In Reliable Software Technologies — Ada-Europe '97. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63114-3_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Nishikawa, Hiroshi, Shinya Yamamoto, Morihiko Tamai, et al. "UbiREAL: Realistic Smartspace Simulator for Systematic Testing." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11853565_27.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Sen, Koushik, and Gul Agha. "Automated Systematic Testing of Open Distributed Programs." In Fundamental Approaches to Software Engineering. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11693017_25.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Lamancha, Beatriz Pérez, Macario Polo, and Mario Piattini. "Systematic Review on Software Product Line Testing." In Communications in Computer and Information Science. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-29578-2_4.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Systematic Testing"

1

Wang, Chao, Mahmoud Said, and Aarti Gupta. "Coverage guided systematic concurrency testing." In Proceeding of the 33rd international conference. ACM Press, 2011. http://dx.doi.org/10.1145/1985793.1985824.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Ivancic, Franjo. "SunDew: Systematic Automated Security Testing." In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). IEEE, 2020. http://dx.doi.org/10.1109/icst46399.2020.00011.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Majumdar, Rupak, Indranil Saha, and Zilong Wang. "Systematic testing for control applications." In 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010). IEEE, 2010. http://dx.doi.org/10.1109/memcod.2010.5558629.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Conrad, M., and I. Fey. "Systematic testing of ECU software." In 1st IEE Automotive Electronics Conference. IEE, 2005. http://dx.doi.org/10.1049/ic:20050493.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Hwang, JeeHyun, Tao Xie, Fei Chen, and Alex X. Liu. "Systematic Structural Testing of Firewall Policies." In 2008 IEEE 27th International Symposium on Reliable Distributed Systems (SRDS). IEEE, 2008. http://dx.doi.org/10.1109/srds.2008.34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Arantes, Gilmar F., Diogo M. de Freitas, Plínio S. Leitão-Júnior, and Auri M. R. Vincenzi. "Systematic Functional Testing with Decision Table." In the 1st Brazilian Symposium. ACM Press, 2016. http://dx.doi.org/10.1145/2993288.2993291.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Heorhiadi, Victor, Shriram Rajagopalan, Hani Jamjoom, Michael K. Reiter, and Vyas Sekar. "Gremlin: Systematic Resilience Testing of Microservices." In 2016 IEEE 36th International Conference on Distributed Computing Systems (ICDCS). IEEE, 2016. http://dx.doi.org/10.1109/icdcs.2016.11.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Desai, Ankush, Shaz Qadeer, and Sanjit A. Seshia. "Systematic testing of asynchronous reactive systems." In ESEC/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM, 2015. http://dx.doi.org/10.1145/2786805.2786861.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Zheng, Lixiao, and Haiming Chen. "A Systematic Framework for Grammar Testing." In 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science. IEEE, 2009. http://dx.doi.org/10.1109/icis.2009.193.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Babic, Domagoj. "SunDew: systematic automated security testing (keynote)." In ISSTA '17: International Symposium on Software Testing and Analysis. ACM, 2017. http://dx.doi.org/10.1145/3092282.3092314.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Systematic Testing"

1

Li, Tianjing, Ian Saldanha, Jens Jap, Joseph Canner, and Christopher Schmid. Testing a New Software Program for Data Abstraction in Systematic Reviews. Patient-Centered Outcomes Research Institute (PCORI), 2020. http://dx.doi.org/10.25302/04.2020.me.131007009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Chou, Roger, Tracy Dana, and Kanaka D. Shetty. Testing a Machine Learning Tool for Facilitating Living Systematic Reviews of Chronic Pain Treatments. Agency for Healthcare Research and Quality (AHRQ), 2020. http://dx.doi.org/10.23970/ahrqepcmethtestingmachinelearning.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Lyu, Mengyuan, Yanbing Zhou, Yi Chen, et al. Exploring the eligibility of all reported lipoarabinomannan-testing assays in different clinical situations: A systematic review and meta-analysis of 97 articles. INPLASY - International Platform of Registered Systematic Review and Meta-analysis Protocols, 2021. http://dx.doi.org/10.37766/inplasy2021.8.0020.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Chou, Roger, Rongwei Fu, Tracy Dana, Miranda Pappas, Erica Hart, and Kimberly M. Mauer. Interventional Treatments for Acute and Chronic Pain: Systematic Review. Agency for Healthcare Research and Quality (AHRQ), 2021. http://dx.doi.org/10.23970/ahrqepccer247.

Full text

Abstract:

Objective. To evaluate the benefits and harms of selected interventional procedures for acute and chronic pain that are not currently covered by the Centers for Medicare & Medicaid Services (CMS) but are relevant for and have potential utility for use in the Medicare population, or that are covered by CMS but for which there is important uncertainty or controversy regarding use. Data sources. Electronic databases (Ovid® MEDLINE®, PsycINFO®, the Cochrane Central Register of Controlled Trials, and the Cochrane Database of Systematic Reviews) to April 12, 2021, reference lists, and submissions in response to a Federal Register notice. Review methods. Using predefined criteria and dual review, we selected randomized controlled trials (RCTs) for 10 interventional procedures and conditions that evaluated pain, function, health status, quality of life, medication use, and harms. Random effects meta-analysis was conducted for vertebral compression fracture; otherwise, outcomes were synthesized qualitatively. Effects were classified as small, moderate, or large using previously defined criteria. Results. Thirty-seven randomized trials (in 48 publications) were included. Vertebroplasty (13 trials) is probably more effective at reducing pain and improving function in older (>65 years of age) patients, but benefits are small (less than 1 point on a 10-point pain scale). Benefits appear smaller (but still present) in sham-controlled (5 trials) compared with usual care controlled trials (8 trials) and larger in trials of patients with more acute symptoms; however, testing for subgroup effects was limited by imprecision. Vertebroplasty is probably not associated with increased risk of incident vertebral fracture (10 trials). Kyphoplasty (2 trials) is probably more effective than usual care for pain and function in older patients with vertebral compression fracture at up to 1 month (moderate to large benefits) and may be more effective at >1 month to ≥1 year (small to moderate benefits) but has not been compared against sham therapy. Evidence on kyphoplasty and risk of incident fracture was conflicting. In younger (below age for Medicare eligibility) populations, cooled radiofrequency denervation for sacroiliac pain (2 trials) is probably more effective for pain and function versus sham at 1 and 3 months (moderate to large benefits). Cooled radiofrequency for presumed facet joint pain may be similarly effective versus conventional radiofrequency, and piriformis injection with corticosteroid for piriformis syndrome may be more effective than sham injection for pain. For the other interventional procedures and conditions addressed, evidence was too limited to determine benefits and harms. Conclusions. Vertebroplasty is probably effective at reducing pain and improving function in older patients with vertebral compression fractures; benefits are small but similar to other therapies recommended for pain. Evidence was too limited to separate effects of control type and symptom acuity on effectiveness of vertebroplasty. Kyphoplasty has not been compared against sham but is probably more effective than usual care for vertebral compression fractures in older patients. In younger populations, cooled radiofrequency denervation is probably more effective than sham for sacroiliac pain. Research is needed to determine the benefits and harms of the other interventional procedures and conditions addressed in this review.

APA, Harvard, Vancouver, ISO, and other styles

5

Treadwell, Jonathan R., James T. Reston, Benjamin Rouse, Joann Fontanarosa, Neha Patel, and Nikhil K. Mull. Automated-Entry Patient-Generated Health Data for Chronic Conditions: The Evidence on Health Outcomes. Agency for Healthcare Research and Quality (AHRQ), 2021. http://dx.doi.org/10.23970/ahrqepctb38.

Full text

Abstract:

Background. Automated-entry consumer devices that collect and transmit patient-generated health data (PGHD) are being evaluated as potential tools to aid in the management of chronic diseases. The need exists to evaluate the evidence regarding consumer PGHD technologies, particularly for devices that have not gone through Food and Drug Administration evaluation. Purpose. To summarize the research related to automated-entry consumer health technologies that provide PGHD for the prevention or management of 11 chronic diseases. Methods. The project scope was determined through discussions with Key Informants. We searched MEDLINE and EMBASE (via EMBASE.com), In-Process MEDLINE and PubMed unique content (via PubMed.gov), and the Cochrane Database of Systematic Reviews for systematic reviews or controlled trials. We also searched ClinicalTrials.gov for ongoing studies. We assessed risk of bias and extracted data on health outcomes, surrogate outcomes, usability, sustainability, cost-effectiveness outcomes (quantifying the tradeoffs between health effects and cost), process outcomes, and other characteristics related to PGHD technologies. For isolated effects on health outcomes, we classified the results in one of four categories: (1) likely no effect, (2) unclear, (3) possible positive effect, or (4) likely positive effect. When we categorized the data as “unclear” based solely on health outcomes, we then examined and classified surrogate outcomes for that particular clinical condition. Findings. We identified 114 unique studies that met inclusion criteria. The largest number of studies addressed patients with hypertension (51 studies) and obesity (43 studies). Eighty-four trials used a single PGHD device, 23 used 2 PGHD devices, and the other 7 used 3 or more PGHD devices. Pedometers, blood pressure (BP) monitors, and scales were commonly used in the same studies. Overall, we found a “possible positive effect” of PGHD interventions on health outcomes for coronary artery disease, heart failure, and asthma. For obesity, we rated the health outcomes as unclear, and the surrogate outcomes (body mass index/weight) as likely no effect. For hypertension, we rated the health outcomes as unclear, and the surrogate outcomes (systolic BP/diastolic BP) as possible positive effect. For cardiac arrhythmias or conduction abnormalities we rated the health outcomes as unclear and the surrogate outcome (time to arrhythmia detection) as likely positive effect. The findings were “unclear” regarding PGHD interventions for diabetes prevention, sleep apnea, stroke, Parkinson’s disease, and chronic obstructive pulmonary disease. Most studies did not report harms related to PGHD interventions; the relatively few harms reported were minor and transient, with event rates usually comparable to harms in the control groups. Few studies reported cost-effectiveness analyses, and only for PGHD interventions for hypertension, coronary artery disease, and chronic obstructive pulmonary disease; the findings were variable across different chronic conditions and devices. Patient adherence to PGHD interventions was highly variable across studies, but patient acceptance/satisfaction and usability was generally fair to good. However, device engineers independently evaluated consumer wearable and handheld BP monitors and considered the user experience to be poor, while their assessment of smartphone-based electrocardiogram monitors found the user experience to be good. Student volunteers involved in device usability testing of the Weight Watchers Online app found it well-designed and relatively easy to use. Implications. Multiple randomized controlled trials (RCTs) have evaluated some PGHD technologies (e.g., pedometers, scales, BP monitors), particularly for obesity and hypertension, but health outcomes were generally underreported. We found evidence suggesting a possible positive effect of PGHD interventions on health outcomes for four chronic conditions. Lack of reporting of health outcomes and insufficient statistical power to assess these outcomes were the main reasons for “unclear” ratings. The majority of studies on PGHD technologies still focus on non-health-related outcomes. Future RCTs should focus on measurement of health outcomes. Furthermore, future RCTs should be designed to isolate the effect of the PGHD intervention from other components in a multicomponent intervention.

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!