Log in

Relevant bibliographies by topics / Correctness testing

Contents

Journal articles
Dissertations / Theses
Books
Book chapters
Conference papers
Reports

Academic literature on the topic 'Correctness 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 'Correctness 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 "Correctness testing"

1

Howden, William E. "Program testing versus proofs of correctness." Software Testing, Verification and Reliability 1, no. 1 (1991): 5–15. http://dx.doi.org/10.1002/stvr.4370010103.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Roca, Jose Luis. "Testing hypotheses on correctness software estimation." Microelectronics Reliability 28, no. 4 (1988): 511–12. http://dx.doi.org/10.1016/0026-2714(88)90132-1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Dyer, M., and A. Kouchakdjian. "Correctness verification: alternative to structural software testing." Information and Software Technology 32, no. 1 (1990): 53–59. http://dx.doi.org/10.1016/0950-5849(90)90046-t.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rosenblum, D., and D. Luckham. "Testing the correctness of tasking supervisors with TSL specifications." ACM SIGSOFT Software Engineering Notes 14, no. 8 (1989): 187–96. http://dx.doi.org/10.1145/75309.75330.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Al-Khanjari, Zuhoor A. "Metadata Extraction in Database Testing." Information Management and Business Review 5, no. 3 (2013): 108–12. http://dx.doi.org/10.22610/imbr.v5i3.1033.

Full text

Abstract:

The need for an automated testing tool to test the correctness of the database applications is crucial in our current day since databases play an important role in almost all organizations. Also, databaseâ€™s behavior need to be verified in order to avoid costly errors and false information being extracted from them. The main aim of this paper was to create a component-based tester called DBSoft that tests the correctness of database application systems. The DBSoft toolkit consists of five tools as follows: information collection with the Parser tool, test case generation with the Input Genera

APA, Harvard, Vancouver, ISO, and other styles

6

Kumar, Tarun, Mayank Singh, and Arun Sharma. "Validate the Correctness of Object Oriented Program with Regression Testing." International Journal of Computer Applications 96, no. 14 (2014): 22–26. http://dx.doi.org/10.5120/16863-6751.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Meinke, Karl. "Automated black-box testing of functional correctness using function approximation." ACM SIGSOFT Software Engineering Notes 29, no. 4 (2004): 143–53. http://dx.doi.org/10.1145/1013886.1007532.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

SADI, MD SHAIK, FEI-CHING KUO, JOSHUA W. K. HO, MICHAEL A. CHARLESTON, and T. Y. CHEN. "VERIFICATION OF PHYLOGENETIC INFERENCE PROGRAMS USING METAMORPHIC TESTING." Journal of Bioinformatics and Computational Biology 09, no. 06 (2011): 729–47. http://dx.doi.org/10.1142/s021972001100563x.

Full text

Abstract:

Many phylogenetic inference programs are available to infer evolutionary relationships among taxa using aligned sequences of characters, typically DNA or amino acids. These programs are often used to infer the evolutionary history of species. However, in most cases it is impossible to systematically verify the correctness of the tree returned by these programs, as the correct evolutionary history is generally unknown and unknowable. In addition, it is nearly impossible to verify whether any non-trivial tree is correct in accordance to the specification of the often complicated search and scori

APA, Harvard, Vancouver, ISO, and other styles

9

Bi, Jing Cun, Yan Fei Liu, Wen Hui Dou, and Jian Feng Xu. "An Algorithm for Testing the Unreachable Instruction of an Assembly Program in Software Coverage Testing." Advanced Materials Research 1003 (July 2014): 245–48. http://dx.doi.org/10.4028/www.scientific.net/amr.1003.245.

Full text

Abstract:

Coverage testing is a basic method for dynamic software testing. Based on the basic block theory, an algorithm is proposed for calculating the branch routes of an embedded assembly program in software coverage testing. The correctness of the algorithm is verified on a sample assembly program and it’s time complexity is analyzed also.

APA, Harvard, Vancouver, ISO, and other styles

10

LOVÁSZ, LÁSZLÓ, and KATALIN VESZTERGOMBI. "Non-Deterministic Graph Property Testing." Combinatorics, Probability and Computing 22, no. 5 (2013): 749–62. http://dx.doi.org/10.1017/s0963548313000205.

Full text

Abstract:

A property of finite graphs is called non-deterministically testable if it has a ‘certificate’ such that once the certificate is specified, its correctness can be verified by random local testing. In this paper we study certificates that consist of one or more unary and/or binary relations on the nodes, in the case of dense graphs. Using the theory of graph limits, we prove that non-deterministically testable properties are also deterministically testable.

APA, Harvard, Vancouver, ISO, and other styles

More sources

Dissertations / Theses on the topic "Correctness testing"

1

McDaniel, Patrick Drew. "The analysis of Di, a detailed design metric, on large-scale software." Virtual Press, 1991. http://liblink.bsu.edu/uhtbin/catkey/774746.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Kahil, Rany. "Schedulability in Mixed-criticality Systems." Thesis, Université Grenoble Alpes (ComUE), 2019. http://www.theses.fr/2019GREAM023/document.

Full text

Abstract:

Les systèmes temps-réel critiques doivent exécuter leurs tâches dans les délais impartis. En cas de défaillance, des événements peuvent avoir des catastrophes économiques. Des classifications des défaillances par rapport aux niveaux des risques encourus ont été établies, en particulier dans les domaines des transports aéronautique et automobile. Des niveaux de criticité sont attribués aux différentes fonctions des systèmes suivant les risques encourus lors d'une défaillance et des probabilités d'apparition de celles-ci. Ces différents niveaux de criticité influencent les choix d'architecture l

APA, Harvard, Vancouver, ISO, and other styles

3

Berlin. "Integration of Verification and Testing into Compilation Systems." Phd thesis, 2001. http://edocs.tu-berlin.de/diss/2001/didrich_klaus.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Han, Ching Ju, and 韓晴如. "A Research of Improving Correctness on the Specimen Delivery in Laboratory Testing by Using Lean Thinking Methodology." Thesis, 2009. http://ndltd.ncl.edu.tw/handle/73242251561332763345.

Full text

Abstract:

碩士<br>長庚大學<br>資訊管理學研究所<br>97<br>Laboratory medicine is a clinic advisory service that is based on scientific empirical evidence. It includes providing various clinical tests which are used by physicians to determine the most appropriate treatments. However, the current process for laboratory testing is very complex, involving many procedures -- including request for testing, sample collection, sample transportation, sample analysis, and return results to the physicians. If any mistake exists in any of these procedures, the final test result will be affected, which in turn may cause the physici

APA, Harvard, Vancouver, ISO, and other styles

5

Thornton, Deborah. "A quality assurance reference model for object-orientation." Diss., 1994. http://hdl.handle.net/10500/16205.

Full text

Abstract:

The focus of the dissertation is on software quality assurance for object-oriented information systems development. A Quality Assurance Reference Model is proposed with aspects dealing with technical and managerial issues. A revised Spiral life cycle model is adopted as well as the Object Modelling Technique. The Quality Assurance Reference Model associates quality factors at various levels, quality criteria and metrics into a matrix framework that may be used to achieve quality assurance for all cycles of the Spiral Model.<br>Computing<br>M. Sc. (Information Systems)

APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Correctness testing"

1

Grammatical correctness and communicative ability: A performance analysis of the written and spoken English of Swedish learners. [Universitetet], 1987.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

2

Levchenko, Boris. Criteria for testing hypotheses about uniformity. Application manual. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/986695.

Full text

Abstract:

The guide discusses the use of statistical criteria focused on the testing of hypotheses about uniformity of laws, which belong to the analyzed sample, of the homogeneous medium (about equality of the mathematical expectations), about the homogeneity of variance (equality of variances of compared samples). The disadvantages and advantages of various criteria are indicated, and the application of criteria in conditions of violation of standard assumptions is considered. Tables containing percentage points and statistical distribution models necessary for the correct application of the criteria

APA, Harvard, Vancouver, ISO, and other styles

3

Eichenlaub, Carl T. Using Penelope to assess the correctness of NASA Ada software: A demonstration of formal methods as a counterpart to testing. NASA, 1993.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

4

Lemeshko, Boris, and Irina Veretel'nikova. Criteria for testing hypotheses about randomness and the absence of a trend. Application Guide. INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1587437.

Full text

Abstract:

The monograph discusses the application of statistical criteria aimed at testing hypotheses about the absence of a trend in the analyzed samples. The rejection of such a hypothesis gives grounds to consider the analyzed data as samples of independent equally distributed random variables. We consider a set of special criteria aimed at testing such hypotheses, as well as a set of criteria for the uniformity of laws, the uniformity of averages and the uniformity of variances, which can also be used for these purposes. The disadvantages and advantages of various criteria are emphasized, the applic

APA, Harvard, Vancouver, ISO, and other styles

5

Huizinga, Dorota. Automated defect prevention: Best practices in software management. Wiley, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

6

Lemeshko, Boris, and Pavel Blinov. Criteria for checking deviations from the exponential law. Application manual. INFRA-M Academic Publishing LLC., 2020. http://dx.doi.org/10.12737/1097477.

Full text

Abstract:

The monograph is intended for specialists who are more or less faced with the issues of statistical data analysis, processing of experimental results, and using statistical methods to analyze various aspects and trends of the surrounding reality. The guide discusses the application of statistical criteria aimed at testing the hypothesis that the analyzed sample belongs to the exponential (exponential) distribution law. The disadvantages and advantages of various criteria are indicated. Estimates of the power of the criteria and results of comparative analysis of the criteria are given, as well

APA, Harvard, Vancouver, ISO, and other styles

7

Huizinga, Dorota, and Adam Kolawa. Automated Defect Prevention: Best Practices in Software Management. Wiley-IEEE Computer Society Pr, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

8

Huizinga, Dorota, and Adam Kolawa. Automated Defect Prevention: Best Practices in Software Management. IEEE Computer Society Press, 2007.

Find full text

APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Correctness testing"

1

Peleska, Jan. "Integrated and Automated Abstract Interpretation, Verification and Testing of C/C++ Modules." In Concurrency, Compositionality, and Correctness. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11512-7_18.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Pan, Lei, and Lynn M. Batten. "Robust Correctness Testing for Digital Forensic Tools." In Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02312-5_7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Naor, Dalit, Petra Reshef, Ohad Rodeh, Allon Shafrir, Adam Wolman, and Eitan Yaffe. "Benchmarking and Testing OSD for Correctness and Compliance." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11678779_12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Gaudel, Marie-Claude. "Formal Methods and Testing: Hypotheses, and Correctness Approximations." In FM 2005: Formal Methods. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11526841_2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Patel, Krishna, and Robert M. Hierons. "Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness." In Testing Software and Systems. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-47443-4_8.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Meinke, Karl, and Peter Nycander. "Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection." In Software Engineering and Formal Methods. Springer Berlin Heidelberg, 2015. http://dx.doi.org/10.1007/978-3-662-49224-6_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Schumi, Richard, and Jun Sun. "SpecTest: Specification-Based Compiler Testing." In Fundamental Approaches to Software Engineering. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71500-7_14.

Full text

Abstract:

AbstractCompilers are error-prone due to their high complexity. They are relevant for not only general purpose programming languages, but also for many domain specific languages. Bugs in compilers can potentially render all programs at risk. It is thus crucial that compilers are systematically tested, if not verified. Recently, a number of efforts have been made to formalise and standardise programming language semantics, which can be applied to verify the correctness of the respective compilers. In this work, we present a novel specification-based testing method named SpecTest to better utilise these semantics for testing. By applying an executable semantics as test oracle, SpecTest can discover deep semantic errors in compilers. Compared to existing approaches, SpecTest is built upon a novel test coverage criterion called semantic coverage which brings together mutation testing and fuzzing to specifically target less tested language features. We apply SpecTest to systematically test two compilers, i.e., the Java compiler and the Solidity compiler. SpecTest improves the semantic coverage of both compilers considerably and reveals multiple previously unknown bugs.

APA, Harvard, Vancouver, ISO, and other styles

8

Liu, Shaoying, and Shin Nakajima. "Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice." In Structured Object-Oriented Formal Language and Method. Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-04915-1_1.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Yu, Guorui, Guangliang Yang, Tongxin Li, et al. "MinerGate: A Novel Generic and Accurate Defense Solution Against Web Based Cryptocurrency Mining Attacks." In Communications in Computer and Information Science. Springer Singapore, 2020. http://dx.doi.org/10.1007/978-981-33-4922-3_5.

Full text

Abstract:

AbstractWeb-based cryptocurrency mining attacks, also known as cryptojacking, become increasingly popular. A large number of diverse platforms (e.g., Windows, Linux, Android, and iOS) and devices (e.g., PC, smartphones, tablets, and even critical infrastructures) are widely impacted. Although a variety of detection approaches were recently proposed, it is challenging to apply these approaches to attack prevention directly.Instead, in this paper, we present a novel generic and accurate defense solution, called “MinerGate”, against cryptojacking attacks. To achieve the goal, MinerGate is designed as an extension of network gateways or proxies to protect all devices behind it. When attacks are identified, MinerGate can enforce security rules on victim devices, such as stopping the execution of related JavaScript code and alerting victims. Compared to prior approaches, MinerGate does not require any modification of browsers or apps to collect the runtime features. Instead, MinerGate focuses on the semantics of mining payloads (usually written in WebAssembly/asm.js), and semantic-based features.In our evaluation, we first verify the correctness of MinerGate by testing MinerGate in a real environment. Then, we check MinerGate’s performance and confirm MinerGate introduces relatively low overhead. Last, we verify the accuracy of MinerGate. For this purpose, we collect the largest WebAssembly/asm.js related code with ground truth to build our experiment dataset. By comparing prior approaches and MinerGate on the dataset, we find MinerGate achieves better accuracy and coverage (i.e., 99% accuracy and 98% recall). Our dataset will be available online, which should be helpful for more solid understanding of cryptojacking attacks.

APA, Harvard, Vancouver, ISO, and other styles

10

Chan, W. K., S. C. Cheung, and Karl R. P. H. Leung. "A Metamorphic Testing Approach for Online Testing of Service-Oriented Software Applications." In Software Applications. IGI Global, 2009. http://dx.doi.org/10.4018/978-1-60566-060-8.ch170.

Full text

Abstract:

Testing the correctness of services assures the functional quality of service-oriented applications. A service-oriented application may bind dynamically to its supportive services. For the same service interface, the supportive services may behave differently. A service may also need to realize a business strategy, like best pricing, relative to the behavior of its counterparts and the dynamic market situations. Many existing works ignore these issues to address the problem of identifying failures from test results. This article proposes a metamorphic approach for online services testing. The off-line testing determines a set of successful test cases to construct their corresponding follow-up test cases for the online testing. These test cases will be executed by metamorphic services that encapsulate the services under test as well as the implementations of metamorphic relations. Thus, any failure revealed by the metamorphic testing approach will be due to the failures in the online testing mode. An experiment is included.

APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Correctness testing"

1

Keller, Rainer, and Michael Resch. "Testing the Correctness of MPI Implementations." In 2006 Fifth International Symposium on Parallel and Distributed Computing. IEEE, 2006. http://dx.doi.org/10.1109/ispdc.2006.47.

Full text

APA, Harvard, Vancouver, ISO, and other styles

2

Peng, Chao. "On the correctness of GPU programs." In ISSTA '19: 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM, 2019. http://dx.doi.org/10.1145/3293882.3338989.

Full text

APA, Harvard, Vancouver, ISO, and other styles

3

Kahil, Rany, Dario Socci, Peter Poplavko, and Saddek Bensalem. "Algorithmic Complexity of Correctness Testing in MC-Scheduling." In RTNS '18: 26th International Conference on Real-Time Networks and Systems. ACM, 2018. http://dx.doi.org/10.1145/3273905.3273916.

Full text

APA, Harvard, Vancouver, ISO, and other styles

4

Rosenblum, D., and D. Luckham. "Testing the correctness of tasking supervisors with TSL specifications." In the ACM SIGSOFT '89 third symposium. ACM Press, 1989. http://dx.doi.org/10.1145/75308.75330.

Full text

APA, Harvard, Vancouver, ISO, and other styles

5

Pan, Lei, and Lynn M. Batten. "An Effective and Efficient Testing Methodology for Correctness Testing for File Recovery Tools." In Third International Conference on Intelligent Information Hiding and Multimedia Signal Processing. IEEE, 2007. http://dx.doi.org/10.1109/iih-msp.2007.78.

Full text

APA, Harvard, Vancouver, ISO, and other styles

6

Masri, Wes, and Rawad Abou Assi. "Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization." In 2010 Third International Conference on Software Testing, Verification and Validation. IEEE, 2010. http://dx.doi.org/10.1109/icst.2010.22.

Full text

APA, Harvard, Vancouver, ISO, and other styles

7

Andres, Cesar, Mercedes G. Merayo, and Manuel Nunez. "Formal Correctness of a Passive Testing Approach for Timed Systems." In 2009 International Conference on Software Testing, Verification, and Validation Workshops. ICSTW 2009. IEEE, 2009. http://dx.doi.org/10.1109/icstw.2009.34.

Full text

APA, Harvard, Vancouver, ISO, and other styles

8

Meinke, Karl. "Automated black-box testing of functional correctness using function approximation." In the 2004 ACM SIGSOFT international symposium. ACM Press, 2004. http://dx.doi.org/10.1145/1007512.1007532.

Full text

APA, Harvard, Vancouver, ISO, and other styles

9

Vu, Minh, Phuong Ha, and Lisong Xu. "Efficient Correctness Testing of Linux Network Stack under Packet Dynamics." In ICC 2020 - 2020 IEEE International Conference on Communications (ICC). IEEE, 2020. http://dx.doi.org/10.1109/icc40277.2020.9149060.

Full text

APA, Harvard, Vancouver, ISO, and other styles

10

Li, Jianjiang, Dan Hei, and Lin Yan. "Correctness Analysis Based on Testing and Checking for OpenMP Programs." In 2009 Fourth ChinaGrid Annual Conference (ChinaGrid). IEEE, 2009. http://dx.doi.org/10.1109/chinagrid.2009.12.

Full text

APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Correctness testing"

1

Sen, Koushik, Costin Iancu, and James W. Demmel. Program Correctness, Verification and Testing for Exascale (Corvette). Office of Scientific and Technical Information (OSTI), 2018. http://dx.doi.org/10.2172/1418165.

Full text

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!