Academic literature on the topic 'Test case specifications'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Test case specifications.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Test case specifications"
Denney, R. "Test-case generation from Prolog-based specifications." IEEE Software 8, no. 2 (1991): 49–57. http://dx.doi.org/10.1109/52.73749.
Full textChen, T. Y., and M. F. Lau. "Test case selection strategies based on Boolean specifications." Software Testing, Verification and Reliability 11, no. 3 (2001): 165–80. http://dx.doi.org/10.1002/stvr.221.
Full textHue, Chu Thi Minh, Duc-Hanh Dang, Nguyen Ngoc Binh, and Anh-Hoang Truong. "USLTG: Test Case Automatic Generation by Transforming Use Cases." International Journal of Software Engineering and Knowledge Engineering 29, no. 09 (2019): 1313–45. http://dx.doi.org/10.1142/s0218194019500414.
Full textLiu, Shaoying, Wuwei Shen, and Shin Nakajima. "A formal approach to testing programs in practice." Computer Science and Information Systems 9, no. 4 (2012): 1469–91. http://dx.doi.org/10.2298/csis120301050l.
Full textTassone, A., A. D. Smirnov, and G. V. Tikhomirov. "Specifications for a coupled neutronics thermal-hydraulics SFR test case." Journal of Physics: Conference Series 781 (January 2017): 012047. http://dx.doi.org/10.1088/1742-6596/781/1/012047.
Full textMei, Lijun, Yan Cai, Changjiang Jia, Bo Jiang, and W. K. Chan. "Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs." International Journal of Web Services Research 10, no. 1 (2013): 73–102. http://dx.doi.org/10.4018/jwsr.2013010104.
Full textAschenbrener, Tim, and Nam Tran. "Optimizing In-Place Density Through Improved Density Specifications." Transportation Research Record: Journal of the Transportation Research Board 2674, no. 3 (2020): 211–18. http://dx.doi.org/10.1177/0361198120908224.
Full textQian, Ling-li, and Yi-hai Chen. "Generating test case specifications of web service composition using model checking." Journal of Shanghai University (English Edition) 15, no. 5 (2011): 409–14. http://dx.doi.org/10.1007/s11741-011-0760-3.
Full textCHEN, T. Y., P. L. POON, and T. H. TSE. "AN INTEGRATED CLASSIFICATION-TREE METHODOLOGY FOR TEST CASE GENERATION." International Journal of Software Engineering and Knowledge Engineering 10, no. 06 (2000): 647–79. http://dx.doi.org/10.1142/s0218194000000353.
Full textJalila, A., D. Jeya Mala, and M. Eswaran. "Functional Testing Using OCL Predicates to Improve Software Quality." International Journal of Systems and Service-Oriented Engineering 5, no. 2 (2015): 56–72. http://dx.doi.org/10.4018/ijssoe.2015040104.
Full textDissertations / Theses on the topic "Test case specifications"
Salman, Alzahraa. "Test Case Generation from Specifications Using Natural Language Processing." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281352.
Full textHORI, Érica Aguiar Andrade. "ucsCNL A controlled natural language for use case specifications." Universidade Federal de Pernambuco, 2010. https://repositorio.ufpe.br/handle/123456789/2393.
Full textJuhnke, Katharina [Verfasser]. "Improving the quality of automotive test case specifications / Katharina Juhnke." Ulm : Universität Ulm, 2021. http://d-nb.info/1228439095/34.
Full textAlhroob, Aysh M. "Software test case generation from system models and specification. Use of the UML diagrams and High Level Petri Nets models for developing software test cases." Thesis, University of Bradford, 2010. http://hdl.handle.net/10454/5453.
Full textAlhroob, Aysh Menoer. "Software test case generation from system models and specification : use of the UML diagrams and high level Petri nets models for developing software test cases." Thesis, University of Bradford, 2010. http://hdl.handle.net/10454/5453.
Full textKamal, Ahmad Waqas. "A Hierarchical Approach to Software Testing." Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2006. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-4889.
Full textGrabowski, Jens. "Test case generation and test case specification with message sequence charts /." [S.l.] : [s.n.], 1994. http://www.ub.unibe.ch/content/bibliotheken_sammlungen/sondersammlungen/dissen_bestellformular/index_ger.html.
Full textMeudec, Christophe. "Automatic generation of software test cases from formal specifications." Thesis, Queen's University Belfast, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263505.
Full textSinha, Avik. "Domain specific test case generation using higher ordered typed languages for specification." College Park, Md. : University of Maryland, 2005. http://hdl.handle.net/1903/2406.
Full textOLIVEIRA, NETO Francisco Gomes de. "Investigation of similarity-based test case selection for specification-based regression testing." Universidade Federal de Campina Grande, 2014. http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/360.
Full textBooks on the topic "Test case specifications"
Hodgkinson, David, and Alan Herbert. Specification of a Test Problem for HYDROCOIN Level 2 Case 1: Thermal Convection and Conduction Around a Field Heat Transfer Experiment. AEA Technology Plc, 1985.
Find full textHodgkinson, David, and John Barker. Specification of a Test Problem for HYDROCOIN Level 1 Case 1: Transient Flow from a Borehole in a Fractured Permeable Medium. AEA Technology Plc, 1985.
Find full textBook chapters on the topic "Test case specifications"
Grieskamp, Wolfgang, Lev Nachmanson, Nikolai Tillmann, and Margus Veanes. "Test Case Generation from AsmL Specifications." In Abstract State Machines 2003. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/3-540-36498-6_27.
Full textBurguillo-Rial, Juan C., Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, and Martín Llamas-Nistal. "Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study." In FME 2002:Formal Methods—Getting IT Right. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45614-7_4.
Full textAvinash Gupta, Anshu Gupta, and Dharmender Singh Kushwaha. "Test Case Reduction Using Decision Table for Requirements Specifications." In Proceedings of the International Congress on Information and Communication Technology. Springer Singapore, 2016. http://dx.doi.org/10.1007/978-981-10-0755-2_44.
Full textHelke, Steffen, Thomas Neustupny, and Thomas Santen. "Automating test case generation from Z specifications with Isabelle." In Lecture Notes in Computer Science. Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/bfb0027283.
Full textGoldstein, Harrison, John Hughes, Leonidas Lampropoulos, and Benjamin C. Pierce. "Do Judge a Test by its Cover." In Programming Languages and Systems. Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-72019-3_10.
Full textSottas, Gabriel, and Inge L. Ryhming. "Test Cases Specifications." In 3D-Computation of Incompressible Internal Flows. Vieweg+Teubner Verlag, 1993. http://dx.doi.org/10.1007/978-3-322-89452-6_1.
Full textCapellmann, Carla, and Heinz Dibold. "Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application." In Application and Theory of Petri Nets 1993. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-56863-8_66.
Full textHirsch, Ch, and Erbing Shang. "Specification of Test Case TC3." In Notes on Numerical Fluid Mechanics (NNFM). Vieweg+Teubner Verlag, 1998. http://dx.doi.org/10.1007/978-3-322-89859-3_19.
Full textVenkatesh, R., Ulka Shrotri, Amey Zare, and Supriya Agrawal. "On Generating Test Cases from EDT Specifications." In Communications in Computer and Information Science. Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-30243-0_1.
Full textViswanath, J., M. Parthiban, J. Thangakumar, and M. Roberts Masillamani. "Specification Based Test Case Generation Using Classification Tree Method." In Computer Networks and Information Technologies. Springer Berlin Heidelberg, 2011. http://dx.doi.org/10.1007/978-3-642-19542-6_48.
Full textConference papers on the topic "Test case specifications"
Sinnott, R. "Architecting specifications for test case generation." In 1st IEEE International Conference Software Engineering and Formal Methods. SEFM'03. IEEE, 2003. http://dx.doi.org/10.1109/sefm.2003.1236204.
Full textJuhnke, Katharina, Matthias Tichy, and Frank Houdek. "Challenges with automotive test case specifications." In ICSE '18: 40th International Conference on Software Engineering. ACM, 2018. http://dx.doi.org/10.1145/3183440.3195070.
Full textMori, Ryusei, and Masaki Nakamura. "Automated Test Case Generation from OTS/CafeOBJ Specifications by Specification Translation." In 2017 IEEE International Conference on Software Testing, Verification and Validation: Workshops (ICSTW). IEEE, 2017. http://dx.doi.org/10.1109/icstw.2017.78.
Full textBloem, Roderick, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, and Martin Weiglhofer. "Automatic Hardware Synthesis from Specifications: A Case Study." In Design, Automation & Test in Europe Conference. IEEE, 2007. http://dx.doi.org/10.1109/date.2007.364456.
Full textWang, Chunhui, Fabrizio Pastore, Arda Goknil, Lionel Briand, and Zohaib Iqbal. "Automatic generation of system test cases from use case specifications." In ISSTA '15: International Symposium on Software Testing and Analysis. ACM, 2015. http://dx.doi.org/10.1145/2771783.2771812.
Full textVASILACHE, SIMONA. "DEPENDENCY DIAGRAMS: FROM REQUIREMENTS SPECIFICATIONS TO TEST CASE GENERATION." In World Congress on Engineering (WCE 2016) & World Congress on Engineering and Computer Science (WCECS 2016). WORLD SCIENTIFIC, 2017. http://dx.doi.org/10.1142/9789813230774_0033.
Full textJuhnke, Katharina, Matthias Tichy, and Frank Houdek. "Challenges Concerning Test Case Specifications in Automotive Software Testing." In 2018 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 2018. http://dx.doi.org/10.1109/seaa.2018.00015.
Full textWang, Chunhui, Fabrizio Pastore, Arda Goknil, Lionel C. Briand, and Zohaib Iqbal. "UMTG: a toolset to automatically generate system test cases from use case specifications." 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.2803187.
Full textAoyama, Yusuke, Takeru Kuroiwa, and Noriyuki Kushiro. "Executable Test Case Generation from Specifications Written in Natural Language and Test Execution Environment." In 2021 IEEE 18th Annual Consumer Communications & Networking Conference (CCNC). IEEE, 2021. http://dx.doi.org/10.1109/ccnc49032.2021.9369549.
Full textCarvalho, Gustavo, Diogo Falcão, Flávia Barros, et al. "Test case generation from natural language requirements based on SCR specifications." In the 28th Annual ACM Symposium. ACM Press, 2013. http://dx.doi.org/10.1145/2480362.2480591.
Full textReports on the topic "Test case specifications"
Montgomery, Doug, Mark Carson, Timothy Winters, Michayla Newcombe, and Timothy Carlin. USGv6 Profile. National Institute of Standards and Technology, 2020. http://dx.doi.org/10.6028/nist.sp.500-267br1.
Full text