Relevant bibliographies by topics / Software Testing Techniques

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers

Academic literature on the topic 'Software Testing Techniques'

Author: Grafiati
Published: 4 June 2021
Last updated: 3 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 'Software Testing Techniques.'

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 "Software Testing Techniques"

1

Rexhepi, Burim, and Ali Rexhepi. "SOFTWARE TESTING TECHNIQUES AND PRINCIPLES." Knowledge International Journal 28, no. 4 (2018): 1383–87. http://dx.doi.org/10.35120/kij28041383b.

Full text
Abstract:
This paper describes Software testing, need for software testing, Software testing goals and principles. Further it describe about different Software testing techniques and different software testing strategies. Finally it describes the difference between software testing and debugging.To perform testing effectively and efficiently, everyone involved with testing should be familiar with basic software testing goals, principles, limitations and concepts.We further explains different Software testing techniques such as Correctness testing, Performance testing, Reliability testing, Security testing. Further we have discussed the basic principles of black box testing, white box testing and gray box testing. We have surveyed some of the strategies supporting these paradigms, and have discussed their pros and cons. We also describes about different software testing strategies such as unit testing, Integration testing, acceptance testing and system testing.Finally there is comparison between debugging and testing. Testing is more than just debugging .Testing is not only used to locate defects and correct them it is also used in validation, verification process and measurement. A strategy for software Testing integrates software test case design methods into a well planned Series of steps that result in successful Construction of software that result in successful construction of software. Software testing Strategies gives the road map for testing. A software testing Strategy should be flexible enough to promote a customized testing approach at same time it must be right enough. Strategy is generally developed by project managers, software engineer and testing specialist. Software testing is an extremely creative and intellectually challenging task. When testing follows the principles given below, the creative element of test design and execution rivals any of the preceding software development steps, because testing requires high creativity and responsibility only the best personnel must be assigned to design, implement, and analyze test cases, test data and test results.
APA, Harvard, Vancouver, ISO, and other styles
2

Choudhary, R. K., and R. A. Khan. "Testing software fault tolerance techniques." ACM SIGSOFT Software Engineering Notes 36, no. 3 (2011): 1–5. http://dx.doi.org/10.1145/1968587.1968604.

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

Zou, Wei Mei, and Xin Liu. "Researches on Automatic Software Testing Techniques." Applied Mechanics and Materials 687-691 (November 2014): 1958–61. http://dx.doi.org/10.4028/www.scientific.net/amm.687-691.1958.

Full text
Abstract:
This article briefly describes the background and the advantages of the automatic software testing technology research, summarizes the development, the features, and the research directions of the automatic software testing technology, and then example of analyses the testing process and factors of automatic software testing technology based on the C-ATFM automatic test model.
APA, Harvard, Vancouver, ISO, and other styles
4

Briand, Lionel, and Yvan Labiche. "Empirical studies of software testing techniques." ACM SIGSOFT Software Engineering Notes 29, no. 5 (2004): 1–3. http://dx.doi.org/10.1145/1022494.1022541.

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

Karasik, M. S. "Environmental Testing Techniques for Software Certification." IEEE Transactions on Software Engineering SE-11, no. 9 (1985): 934–38. http://dx.doi.org/10.1109/tse.1985.232551.

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

Srivastava, Praveen Ranjan, V. Karthik Anand, Mayuri Rastogi, Vikrant Yadav, and G. Raghurama. "Extension of Object-Oriented Software Testing Techniques to Agent Oriented Software Testing." Journal of Object Technology 7, no. 8 (2008): 155. http://dx.doi.org/10.5381/jot.2008.7.8.a5.

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

Zhang, Hong Chun. "Research on New Techniques and Development Trend of Software Testing." Advanced Materials Research 760-762 (September 2013): 1298–301. http://dx.doi.org/10.4028/www.scientific.net/amr.760-762.1298.

Full text
Abstract:
Some typical latest research results were summarized according to the analysis and research on the current situation of software testing both at home and abroad in this paper. On the basis of the current researches on software testing, the writer discussed the future research topic on software testing and proposed the assumption on software testings subject, industry and technique development. It laid the foundation both for further boosting the development and formation of software testing discipline system and for effectively studying on the scientific development mechanism of software testing techniques and its industry.
APA, Harvard, Vancouver, ISO, and other styles
8

Zhang, Li, Xiao Dong Mu, Hai Jing Zhang, and Wei Song. "Comparison between Object-Oriented Software Testing and Traditional Software Testing." Applied Mechanics and Materials 411-414 (September 2013): 497–500. http://dx.doi.org/10.4028/www.scientific.net/amm.411-414.497.

Full text
Abstract:
Object-oriented technology has been widely used in the area of computer software. However, traditional software testing techniques cannot perform effectively on object-oriented software. The differences between object-oriented software testing and traditional software testing are compared and elaborated from three aspects: testing model, testing software and testing cases.
APA, Harvard, Vancouver, ISO, and other styles
9

Hooda, Itti, and Rajender Singh Chhillar. "Software Test Process, Testing Types and Techniques." International Journal of Computer Applications 111, no. 13 (2015): 10–14. http://dx.doi.org/10.5120/19597-1433.

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

Dalal, Dr Sandeep. "ASPECT-ORIENTED SOFTWARE TESTING TECHNIQUES: A REVIEW." International Journal of Advanced Research in Computer Science 9, no. 2 (2018): 211–16. http://dx.doi.org/10.26483/ijarcs.v9i2.5574.

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

Dissertations / Theses on the topic "Software Testing Techniques"

1

Torkar, Richard. "Towards automated software testing : techniques, classifications and frameworks /." Karlskrona : Blekinge Institute of Technology, 2006. http://www.bth.se/fou/Forskinfo.nsf/allfirst2/f1a6d04995a3622cc125719c004d9714?OpenDocument.

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

Berriri, Asma. "Model based testing techniques for software defined networks." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLL017/document.

Full text
Abstract:
Les réseaux logiciels (connus sous l'éppellation: Software Defined Networking, SDN), qui s'appuient sur le paradigme de séparation du plan de contrôle et du plan d'acheminement, ont fortement progressé ces dernières années pour permettre la programmabilité des réseaux et faciliter leur gestion. Reconnu aujourd'hui comme des architectures logicielles pilotées par des applications, offrant plus de programmabilité, de flexibilité et de simplification des infrastructures, les réseaux logiciels sont de plus en plus largement adoptés et graduellement déployés par l'ensemble des fournisseurs. Néanmoins, l'émergence de ce type d'architectures pose un ensemble de questions fondamentales sur la manière de garantir leur correct fonctionnement. L'architecture logicielle SDN est elle-même un système complexe à plusieurs composants vulnérable aux erreurs. Il est essentiel d'en assurer le bon fonctionnement avant déploiement et intégration dans les infrastructures.Dans la littérature, la manière de réaliser cette tâche n'a été étudiée de manière approfondie qu'à l'aide de vérification formelle. Les méthodes de tests s'appuyant sur des modèles n'ont guère retenu l'attention de la communauté scientifique bien que leur pertinence et l'efficacité des tests associés ont été largement demontrés dans le domaine du développement logiciel. La création d'approches de test efficaces et réutilisables basées sur des modèles nous semble une approche appropriée avant tout déploiement de réseaux virtuels et de leurs composants. Le problème abordé dans cette thèse concerne l'utilisation de modèles formels pour garantir un comportement fonctionnel correct des architectures SDN ainsi que de leurs composants. Des approches formelles, structurées et efficaces de génération de tests sont les principale contributions de la thèse. En outre, l'automatisation du processus de test est mis en relief car elle peut en réduire considérablement les efforts et le coût.La première contribution consiste en une méthode reposant sur l'énumération de graphes et qui vise le test fonctionnel des architectures SDN. En second lieu, une méthode basée sur un circuit logique est développée pour tester la fonctionnalité de transmission d'un commutateur SDN. Plus loin, cette dernière méthode est étendue pour tester une application d'un contrôleur SDN. De plus, une technique basée sur une machine à états finis étendus est introduite pour tester la communication commutateur-contrôleur.Comme la qualité d'une suite de tests est généralement mesurée par sa couverture de fautes, les méthodes de test proposées introduisent différents modèles de fautes et génèrent des suites de tests avec une couverture de fautes guarantie<br>Having gained momentum from its concept of decoupling the traffic control from the underlying traffic transmission, Software Defined Networking (SDN) is a new networking paradigm that is progressing rapidly addressing some of the long-standing challenges in computer networks. Since they are valuable and crucial for networking, SDN architectures are subject to be widely deployed and are expected to have the greatest impact in the near future. The emergence of SDN architectures raises a set of fundamental questions about how to guarantee their correctness. Although their goal is to simplify the management of networks, the challenge is that the SDN software architecture itself is a complex and multi-component system which is failure-prone. Therefore, assuring the correct functional behaviour of such architectures and related SDN components is a task of paramount importance, yet, decidedly challenging.How to achieve this task, however, has only been intensively investigated using formal verification, with little attention paid to model based testing methods. Furthermore, the relevance of models and the efficiency of model based testing have been demonstrated for software engineering and particularly for network protocols. Thus, the creation of efficient and reusable model based testing approaches becomes an important stage before the deployment of virtual networks and related components. The problem addressed in this thesis relates to the use of formal models for guaranteeing the correct functional behaviour of SDN architectures and their corresponding components. Formal, and effective test generation approaches are in the primary focus of the thesis. In addition, automation of the test process is targeted as it can considerably cut the efforts and cost of testing.The main contributions of the thesis relate to model based techniques for deriving high quality test suites. Firstly, a method relying on graph enumeration is proposed for the functional testing of SDN architectures. Secondly, a method based on logic circuit is developed for testing the forwarding functionality of an SDN switch. Further on, the latter method is extended to test an application of an SDN controller. Additionally, a technique based on an extended finite state machine is introduced for testing the switch-to-controller communication. As the quality of a test suite is usually measured by its fault coverage, the proposed testing methods introduce different fault models and seek for test suites with guaranteed fault coverage that can be stated as sufficient conditions for a test suite completeness / exhaustiveness
APA, Harvard, Vancouver, ISO, and other styles
3

Leon, Cesin David Zaen. "Profile Analysis Techniques for Observation-Based Software Testing." Case Western Reserve University School of Graduate Studies / OhioLINK, 2005. http://rave.ohiolink.edu/etdc/view?acc_num=case1096385607.

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

Reid, Stuart Christopher. "Software component testing : a standard and the effectiveness of techniques." Thesis, University of South Wales, 1997. https://pure.southwales.ac.uk/en/studentthesis/software-component-testing(14d22b70-809b-44e4-8240-12a5ead3fdd6).html.

Full text
Abstract:
This portfolio comprises two projects linked by the theme of software component testing, which is also often referred to as module or unit testing. One project covers its standardisation, while the other considers the analysis and evaluation of the application of selected testing techniques to an existing avionics system. The evaluation is based on empirical data obtained from fault reports relating to the avionics system. The standardisation project is based on the development of the BC BSI Software Component Testing Standard and the BCS/BSI Glossary of terms used in software testing, which are both included in the portfolio. The papers included for this project consider both those issues concerned with the adopted development process and the resolution of technical matters concerning the definition of the testing techniques and their associated measures. The test effectiveness project documents a retrospective analysis of an operational avionics system to determine the relative effectiveness of several software component testing techniques. The methodology differs from that used in other test effectiveness experiments in that it considers every possible set of inputs that are required to satisfy a testing technique rather than arbitrarily chosen values from within this set. The three papers present the experimental methodology used, intermediate results from a failure analysis of the studied system, and the test effectiveness results for ten testing techniques, definitions for which were taken from the BCS BSI Software Component Testing Standard. The creation of the two standards has filled a gap in both the national and international software testing standards arenas. Their production required an in-depth knowledge of software component testing techniques, the identification and use of a development process, and the negotiation of the standardisation process at a national level. The knowledge gained during this process has been disseminated by the author in the papers included as part of this portfolio. The investigation of test effectiveness has introduced a new methodology for determining the test effectiveness of software component testing techniques by means of a retrospective analysis and so provided a new set of data that can be added to the body of empirical data on software component testing effectiveness.
APA, Harvard, Vancouver, ISO, and other styles
5

Hartmann, Jean Zoren Werner. "Structural testing techniques for the selective revalidation of software." Thesis, Durham University, 1992. http://etheses.dur.ac.uk/6082/.

Full text
Abstract:
The research in this thesis addresses the subject of regression testing. Emphasis is placed on developing a technique for selective revalidation which can be used during software maintenance to analyse and retest only those parts of the program affected by changes. In response to proposed program modifications, the technique assists the maintenance programmer in assessing the extent of the program alterations, in selecting a representative set of test cases to rerun, and in identifying any test cases in the test suite which are no longer required because of the program changes. The proposed technique involves the application of code analysis techniques and operations research. Code analysis techniques are described which derive information about the structure of a program and are used to determine the impact of any modifications on the existing program code. Methods adopted from operations research are then used to select an optimal set of regression tests and to identify any redundant test cases. These methods enable software, which has been validated using a variety of structural testing techniques, to be retested. The development of a prototype tool suite, which can be used to realise the technique for selective revalidation, is described. In particular, the interface between the prototype and existing regression testing tools is discussed. Moreover, the effectiveness of the technique is demonstrated by means of a case study and the results are compared with traditional regression testing strategies and other selective revalidation techniques described in this thesis.
APA, Harvard, Vancouver, ISO, and other styles
6

Deligiannis, Pantazis. "Scalable techniques for analysing and testing asynchronous software systems." Thesis, Imperial College London, 2016. http://hdl.handle.net/10044/1/48042.

Full text
Abstract:
This thesis is about scalable analysis and testing techniques for asynchronous programs. Due to their highly-concurrent nature, the number of states that such programs can reach grows exponentially (in the worst case) with program size, leading to state-space explosion. For this reason, searching the state-space of real-world asynchronous programs to find bugs is computationally expensive, and thus it is important to develop analysis and testing techniques that can scale well. However, techniques typically scale by sacrificing precision. Detecting only true bugs - versus reporting a large number of false alarms - is crucial to increasing the productivity of developers. Alas, finding the fine balance between precision and scalability is a challenging problem. Motivated by this challenge, we focus on developing tools and techniques for analysing and testing two different kinds of real-world asynchronous programs: device drivers and distributed systems. In this thesis we make the following three original contributions: 1. A novel symbolic lockset analysis that can detect all potential data races in a device driver. Our analysis avoids reasoning about thread interleavings and thus scales well. Exploiting the race-freedom guarantees provided by our analysis, we achieve a sound partial-order reduction that significantly accelerates Corral, an industrial-strength bug-finder for concurrent programs. 2. The design and implementation of P#, a new programming language for building, analysing and testing asynchronous programs. The novelty of P# is that it is comes with a static data race analysis and controlled testing infrastructure, which makes a strong move towards building highly-reliable asynchronous programs. 3. A new approach for partially-modelling and testing production-scale asynchronous distributed systems using P#. We report our experience of applying P# on Azure Storage vNext, a cloud storage system developed inside Microsoft, and show how P# managed to detect a subtle liveness bug that had remained unresolved even after months of troubleshooting using conventional testing techniques.
APA, Harvard, Vancouver, ISO, and other styles
7

Bertilsson, Henrik, and Gustav Näsman. "Improving progress tracking using automated testing techniques." Thesis, Blekinge Tekniska Högskola, Institutionen för programvaruteknik och datavetenskap, 2002. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3863.

Full text
Abstract:
One of the problems when developing software is the difficulty of knowing how much that is done in a project. This is a basic condition to be able to estimate the remaining efforts with increased accuracy over time. To get accurate progress information it is important that the progress tracking is done in an objective way and also in an as simple way as possible. Our focus in this work has been software projects in general but a case study has also been performed at Ericsson Software Technology AB in Ronneby. We have studied the organization and performed interviews with project managers to find out if this really is a problem and if the process can be improved in some way to ease the task of progress tracking. This case study together with our literature study has resulted in a proposition for a solution. Our approach has been to use automated testing as a way to make progress tracking more objective. The result presented in this thesis is a base for a system that could ease the tracking of progress. In short, the system extracts information from an automated testing process and compares it with estimated figures to be able to automatically generate progress information.<br>0708-574327
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

Coteli, Mert Burkay. "Testing Effectiveness And Effort In Software Product Lines." Master's thesis, METU, 2013. http://etd.lib.metu.edu.tr/upload/12615345/index.pdf.

Full text
Abstract:
Software product lines (SPL) aim to decrease the total software development cost by the help of reusability and variability. However, the increasing number of variations for the delivery types of products would result in increasing cost of the verification and validation process. Total testing cost of development can also be decreased by reusing test cases and scripts. The main objective of this study is to increase testing effectiveness while minimizing testing effort. Four different cases consisting of Aselsan&rsquo<br>s SPL projects have been studied. Firstly, FIG Basis path method was applied at the functional testing phase, and an increase on the testing effectiveness value has been observed. FIG basis path method is a test case sequence generation technique using the feature tree of the software component. This method would be preferable to improve testing effectiveness on the functional verification phase. The second study was on testing effort estimation. There are two testing approaches for SPL projects, namely infrastructure based and product focused testing. These two techniques have been compared in terms of testing effort. It was a study that gives an idea to test managers about the selection of the proper testing technique. Thirdly, reusability techniques were evaluated. Reusability of testing artifacts can be used to decrease the total testing effort. Two reusability techniques for testing artifacts were compared in terms of the number of test cases. Proper technique would be chosen to decrease testing effort. Finally, selection of a reference application on platform tests was proposed and software products were grouped according to the redundancy values. Then, testing effectiveness values were evaluated for each test grouping.
APA, Harvard, Vancouver, ISO, and other styles
10

Chantatub, Wachara. "The integration of software specification, verification, and testing techniques with software requirements and design processes." Thesis, University of Sheffield, 1995. http://etheses.whiterose.ac.uk/1850/.

Full text
Abstract:
Specifying, verifying, and testing software requirements and design are very important tasks in the software development process and must be taken seriously. By investing more up-front effort in these tasks, software projects will gain the benefits of reduced maintenance costs, higher software reliability, and more user-responsive software. However, many individuals involved in these tasks still find that the techniques available for the tasks are either too difficult and far from practical or if not difficult, inadequate for the tasks. This thesis proposes practical and capable techniques for specifying and verifying software requirements and design and for generating test requirements for acceptance and system testing. The proposed software requirements and design specification techniques emerge from integrating three categories of software specification languages, namely an infonnal specification language (e.g. English), semiformal specification languages (Entity-Relationship Diagrams, Data Flow Diagrams, and Data Structure Diagrams), and a formal specification language (Z with an extended subset). The four specification languages mentioned above are used to specify both software requirements and design. Both software requirements and design of a system are defined graphically in Entity-Relationship Diagrams, Data Flow Diagrams, and Data Structure Diagrams, and defined formally in Z specifications. The proposed software requirements and design verification techniques are a combination of informal and formal proofs. The informal proofs are applied to check the consistency of the semiformal specification and to check the consistency, correctness, and completeness of the formal specification against the semiformal specification. The formal proofs are applied to mathematically prove the consistency of the formal specification. Finally, the proposed technique for generating test requirements for acceptance and system testing from the formal requirements specification is presented. Two sets of test requirements are generated: test requirements for testing the critical requirements, and test requirements for testing the operations of the system.
APA, Harvard, Vancouver, ISO, and other styles

Books on the topic "Software Testing Techniques"

1

Beizer, Boris. Software testing techniques. 2nd ed. Van Nostrand Reinhold, 1990.

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

Borba, Paulo, Ana Cavalcanti, Augusto Sampaio, and Jim Woodcook, eds. Testing Techniques in Software Engineering. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-14335-9.

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

Black, Rex. Managing the testing process: Practical tools and techniques for managing software and hardware testing. 3rd ed. Wiley, 2009.

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

Beizer, Boris. Black-box testing: Techniques for functional testing of software and systems. Wiley, 1995.

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

Michal, Young, ed. Software testing and analysis: Process, principles, and techniques. Wiley, 2008.

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

Black, Rex. Managing the testing process: Practical tools and techniques for managing hardware and software testing. 2nd ed. Wiley, 2002.

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

Watson, Arthur Henry. Structured testing: A testing methology using the cyclomatic complexity metric. Edited by Wallace Dolores R and McCabe Thomas J. 1941-. U.S. Dept. of Commerce, Technology Administration, National Institute of Standards and Technology, 1996.

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

Exploratory software testing: [tips, tricks, tours, and techniques to guide test design]. Addison-Wesley, 2010.

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

Bible, John. A unifying framework supporting the analysis and development of safe regression test selection techniques. Oregon State University, Dept. of Computer Science, 1999.

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

Mosley, Daniel J. The handbook of MIS application software testing: Methods, techniques, and tools for assuring quality through testing. Prentice Hall, 1993.

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

Book chapters on the topic "Software Testing Techniques"

1

Crookshanks, Edward. "Unit Testing and Test Driven Development." In Practical Software Development Techniques. Apress, 2014. http://dx.doi.org/10.1007/978-1-4842-0728-4_2.

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

Hoffman, Daniel, Chien Chang, Gary Bazdell, Brett Stevens, and Kevin Yoo. "Bad Pairs in Software Testing." In Testing – Practice and Research Techniques. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15585-7_6.

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

Barus, A. C., T. Y. Chen, D. Grant, F. C. Kuo, and M. F. Lau. "Testing of Heuristic Methods: A Case Study of Greedy Algorithm." In Software Engineering Techniques. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22386-0_19.

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

Alba, Enrique, and J. Francisco Chicano. "Software Testing with Evolutionary Strategies." In Rapid Integration of Software Engineering Techniques. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11751113_5.

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

Waterman, S. R. "Techniques for testing Ada 95." In Reliable Software Technologies — Ada-Europe '97. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63114-3_25.

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

Mammar, Amel, Ana Cavalli, Willy Jimenez, Wissam Mallouli, and Edgardo Montes de Oca. "Using Testing Techniques for Vulnerability Detection in C Programs." In Testing Software and Systems. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-24580-0_7.

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

du Bousquet, Lydie. "A New Approach for Software Testability." In Testing – Practice and Research Techniques. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-15585-7_23.

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

Winter, Jeff, Kari Rönkkö, Mårten Ahlberg, and Jo Hotchkiss. "Meeting Organisational Needs and Quality Assurance through Balancing Agile and Formal Usability Testing Results." In Software Engineering Techniques. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-22386-0_21.

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

Faria, João Pascoal, Ana C. R. Paiva, and Mário Ventura de Castro. "Techniques and Toolset for Conformance Testing against UML Sequence Diagrams." In Testing Software and Systems. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-41707-8_12.

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

Crookshanks, Edward. "Unit Testing and Test-Driven Development." In Practical Enterprise Software Development Techniques. Apress, 2015. http://dx.doi.org/10.1007/978-1-4842-0620-1_6.

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

Conference papers on the topic "Software Testing Techniques"

1

Briggs, Fred C. "Aerospace Software Testing Techniques." In AIAA Infotech@Aerospace (I@A) Conference. American Institute of Aeronautics and Astronautics, 2013. http://dx.doi.org/10.2514/6.2013-5221.

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

Santos, Italo, Silvana M. Melo, Paulo Sergio Lopes de Souza, and Simone R. S. Souza. "Testing Techniques Selection." In SBES 2019: XXXIII Brazilian Symposium on Software Engineering. ACM, 2019. http://dx.doi.org/10.1145/3350768.3352571.

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

Murad, Ghadeer, Aalaa Badarneh, Abdallah Qusef, and Fadi Almasalha. "Software Testing Techniques in IoT." In 2018 8th International Conference on Computer Science and Information Technology (CSIT). IEEE, 2018. http://dx.doi.org/10.1109/csit.2018.8486149.

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

Sneha, Karuturi, and Gowda M. Malle. "Research on software testing techniques and software automation testing tools." In 2017 International Conference on Energy, Communication, Data Analytics and Soft Computing (ICECDS). IEEE, 2017. http://dx.doi.org/10.1109/icecds.2017.8389562.

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

Bhide, Rajashree M., and Vaishali S. Kulkarni. "Automated testing tool for engine software testing." In 2016 International Conference on Automatic Control and Dynamic Optimization Techniques (ICACDOT). IEEE, 2016. http://dx.doi.org/10.1109/icacdot.2016.7877725.

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

Jamil, Muhammad Abid, Muhammad Arif, Normi Sham Awang Abubakar, and Akhlaq Ahmad. "Software Testing Techniques: A Literature Review." In 2016 6th International Conference on Information and Communication Technology for The Muslim World (ICT4M). IEEE, 2016. http://dx.doi.org/10.1109/ict4m.2016.045.

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

Gawkowski, Piotr, Tomasz Rutkowski, and Janusz Sosnowski. "Improving fault handling software techniques." In 2010 IEEE 16th International On-Line Testing Symposium (IOLTS 2010). IEEE, 2010. http://dx.doi.org/10.1109/iolts.2010.5560206.

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

Feng, Xin, Simon Marr, and Tony O'Callaghan. "ESTP: An Experimental Software Testing Platform." In Industrial Conference - Practice and Research Techniques (TAIC PART). IEEE, 2008. http://dx.doi.org/10.1109/taic-part.2008.8.

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

Calabrese, Andrea, Stefano Quer, and Giovanni Squillero. "Smart Techniques for Flying-probe Testing." In 16th International Conference on Software Technologies. SCITEPRESS - Science and Technology Publications, 2021. http://dx.doi.org/10.5220/0010582302850293.

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

Srivastava, Praveen Ranjan, V. Karthik Anand, V. Subba Reddy, and G. Raghurama. "Regression Testing Techniques for Agent Oriented Software." In 2008 International Conference on Information Technology. IEEE, 2008. http://dx.doi.org/10.1109/icit.2008.30.

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!

To the bibliography