{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T13:02:15Z","timestamp":1772024535460,"version":"3.50.1"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2002,8,1]],"date-time":"2002-08-01T00:00:00Z","timestamp":1028160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2002,8]]},"DOI":"10.1109\/tse.2002.1027800","type":"journal-article","created":{"date-parts":[[2002,10,18]],"date-time":"2002-10-18T21:39:07Z","timestamp":1034977147000},"page":"782-796","source":"Crossref","is-referenced-by-count":66,"title":["A formal model of the software test process"],"prefix":"10.1109","volume":"28","author":[{"given":"J.W.","family":"Cangussu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.A.","family":"DeCarlo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.P.","family":"Mathur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1002\/(SICI)1099-1670(199809)4:3<101::AID-SPIP103>3.0.CO;2-K","article-title":"Software Processes: A Retrospective and a Path to the Future","volume-title":"Software Process Improvement and Practice","author":"Cugola"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/32.730546"},{"key":"ref3","volume-title":"Software Engineering: Theory and Practice","author":"Pfleeger"},{"key":"ref4","volume-title":"Software Testing in the Real World: Improving the Process","author":"Kit"},{"key":"ref5","volume-title":"The Unified Software Development Process","author":"Jacobson"},{"key":"ref6","volume-title":"Measuring the Software Process: Statistical Process Control for Software Process Improvement","author":"Florac"},{"key":"ref7","volume-title":"Linear Systems: A State Variable Approach with Numerical Implementation","author":"DeCarlo"},{"key":"ref8","volume-title":"Advanced Control System Design","author":"Friedland"},{"key":"ref9","volume-title":"Nonlinear Systems","author":"Khalil"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2001.989477"},{"key":"ref11","volume-title":"The Craft of Software Testing","author":"Marick"},{"key":"ref12","volume-title":"Software EngineeringA Practitioner\u2019s Approach","author":"Pressman"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1976.233837"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59412-0_38"},{"key":"ref15","volume-title":"Software Cost Estimation with Cocomo II","author":"Boehm"},{"key":"ref16","volume-title":"Introduction to Dynamic Systems: Theory, Models, and Applications","author":"Luenberger"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/52.582977"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/32.824387"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/2.544240"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.1990.63608"},{"key":"ref21","volume-title":"Modeling with Differential and Difference Equations","author":"Fulford"},{"key":"ref22","volume-title":"Software Project Dynamics: An Integrated Approach","author":"Abdel-Hamid"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611971217"},{"key":"ref24","volume-title":"Convex Sets and their Applications","author":"Lay"},{"key":"ref25","volume-title":"System Identification: Theory for the User","author":"Ljung"},{"issue":"2","key":"ref26","first-page":"253261","article-title":"Prediciting Software Development Errors Using Complexity Metrics","volume-title":"IEEE J. Selected Areas in Comm.","volume":"8","author":"Khoshgoftaar"},{"key":"ref27","volume-title":"Software Metrics: A Rigorous and Practical Approach","author":"Fenton"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380190702"},{"key":"ref29","doi-asserted-by":"crossref","article-title":"A Formal Model for the Software Test Process","author":"Cangussu","DOI":"10.1109\/TSE.2002.1027800"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97953-8"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MAP.1996.500234"},{"key":"ref32","volume-title":"Understanding Statistical Process Control","author":"Wheeler"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/2.481468"},{"key":"ref34","article-title":"A Petri Net-Based Support for Object-Oriented Specification of Complex Control Systems","volume-title":"Proc. Petri Nets in System Eng.: Modelling, Verification, and Validation","author":"Diagne"},{"key":"ref35","doi-asserted-by":"crossref","article-title":"Capability Maturity Model for Software","author":"Paulk","DOI":"10.1002\/0471028959.sof589"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2001.972998"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/32\/22077\/01027800.pdf?arnumber=1027800","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,15]],"date-time":"2025-03-15T05:13:57Z","timestamp":1742015637000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1027800\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,8]]},"references-count":36,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2002,8]]}},"URL":"https:\/\/doi.org\/10.1109\/tse.2002.1027800","relation":{},"ISSN":["0098-5589"],"issn-type":[{"value":"0098-5589","type":"print"}],"subject":[],"published":{"date-parts":[[2002,8]]}}}