{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:09Z","timestamp":1759032909747,"version":"3.40.5"},"reference-count":49,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Software Engineering"],"published-print":{"date-parts":[[1997,1]]},"DOI":"10.1023\/a:1018938021528","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"291-317","source":"Crossref","is-referenced-by-count":27,"title":["Software requirements and acceptance testing"],"prefix":"10.1007","volume":"3","author":[{"given":"Pei","family":"Hsia","sequence":"first","affiliation":[]},{"given":"David","family":"Kung","sequence":"additional","affiliation":[]},{"given":"Chris","family":"Sell","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"326136_CR1","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1109\/TSE.1977.233838","volume":"3","author":"M. Alford","year":"1977","unstructured":"Alford, M. (1977), \u201cA Requirements Engineering Methodology for Real-Time Systems,\u201d IEEE Transactions on Software Engineering 3,1, 60\u201369.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326136_CR2","volume-title":"Storyboard Prototyping \u2014 A New Approach to User Requirements Analysis","author":"S.J. Andriole","year":"1989","unstructured":"Andriole, S.J. (1989), Storyboard Prototyping \u2014 A New Approach to User Requirements Analysis, QED Information Systems, Wellesley, MA."},{"key":"326136_CR3","first-page":"92","volume-title":"Proceedings of the Software Quality Assurance Workshop","author":"J. Bauer","year":"1978","unstructured":"Bauer, J., S. Faasse, A. Finger, and W. Goodhue (1978), \u201cThe Automatic Generation and Execution of Function Test Plans for Electronic Switching Systems,\u201d In Proceedings of the Software Quality Assurance Workshop, ACM, New York, NY, pp. 92\u2013100."},{"key":"326136_CR4","first-page":"425","volume-title":"Proceedings of the Fourth International Conference on Software Engineering","author":"J. Bauer","year":"1979","unstructured":"Bauer, J. and A. Finger (1979), \u201cTest Plan Generation Using Formal Grammars,\u201d In Proceedings of the Fourth International Conference on Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 425\u2013432."},{"key":"326136_CR5","volume-title":"Software System Testing and Quality Assurance","author":"B. Beizer","year":"1984","unstructured":"Beizer, B. (1984), Software System Testing and Quality Assurance, Van Nostrand Reinhold, New York, NY."},{"issue":"4","key":"326136_CR6","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1109\/MC.1985.1662868","volume":"18","author":"M. Chandrasekharan","year":"1989","unstructured":"Chandrasekharan, M., B. Dasarathy, and Z. Kishimoto (1989), \u201cRequirements-Based Testing of Real-Time Systems: Modeling for Testability,\u201d IEEE Computer 18,4, 71\u201380.","journal-title":"IEEE Computer"},{"key":"326136_CR7","first-page":"58","volume-title":"Proceedings COMPSAC'77","author":"T. Chow","year":"1977","unstructured":"Chow, T. (1977), \u201cTesting Software Design Modeled by Finite State Machines,\u201d In Proceedings COMPSAC'77, IEEE Computer Society Press, Washington, DC, pp. 58\u201364; also in IEEE Transactions on Software Engineering 4, 3, 178-187."},{"issue":"7","key":"326136_CR8","doi-asserted-by":"crossref","first-page":"1279","DOI":"10.1002\/j.1538-7305.1977.tb00563.x","volume":"56","author":"H. Compton","year":"1977","unstructured":"Compton, H., P. Giloth, M. Haverty, and B. Niedfeldt (1977), \u201cSystem Integration and Early Office Experience,\u201d The Bell System Technical Journal 56,7, 1279\u20131294.","journal-title":"The Bell System Technical Journal"},{"key":"326136_CR9","unstructured":"Dasarathy, B. and M. Chandrasekharan (1982), \u201cTest Generation for Functional Validation of Real-Time Systems,\u201d Sixth IEEE International Conference on Software Engineering, Unpublished poster session."},{"key":"326136_CR10","first-page":"42","volume-title":"Proceedings COMPSAC'80","author":"A. Davis","year":"1980","unstructured":"Davis, A. (1980), \u201cAutomating the Requirements Phase: Benefits to Later Phases of the Software Life Cycle,\u201d In Proceedings COMPSAC'80, IEEE Computer Society Press, Washington, DC, pp. 42\u201348."},{"issue":"6","key":"326136_CR11","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/0950-5849(90)90127-D","volume":"32","author":"A. Davis","year":"1990","unstructured":"Davis, A. (1990), \u201cSystem Testing: Implications of Requirements Specifications,\u201d Information and Software Technology 32,6, 407\u2013414.","journal-title":"Information and Software Technology"},{"key":"326136_CR12","volume-title":"Software Requirements, Objects, Function & States","author":"A. Davis","year":"1993","unstructured":"Davis, A. (1993), Software Requirements, Objects, Function & States, Prentice Hall, Englewood Cliffs, NJ."},{"key":"326136_CR13","first-page":"15","volume-title":"Proceedings of the Specifications of Reliable Software Conference","author":"A. Davis","year":"1978","unstructured":"Davis, A. and T. Ranscher (1978), \u201cFormal Techniques and Automatic Processing to Ensure Correctness in Requirements Specifications,\u201d In Proceedings of the Specifications of Reliable Software Conference, IEEE Computer Society Press, Los Alamitos, CA, pp. 15\u201335."},{"key":"326136_CR14","volume-title":"Software Verification and Validation","author":"M. Deutsch","year":"1982","unstructured":"Deutsch, M. (1982), Software Verification and Validation, Prentice Hall, Englewood Cliffs, NJ."},{"key":"326136_CR15","volume-title":"Quality Assurance for Computer Software","author":"R. Dunn","year":"1982","unstructured":"Dunn, R. and R. Ullman (1982), Quality Assurance for Computer Software, McGraw-Hill, New York, NY."},{"issue":"1","key":"326136_CR16","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/226155.226158","volume":"5","author":"R. Ferguson","year":"1996","unstructured":"Ferguson, R. and B. Korel (1996), \u201cThe Chaining Approach for Software Test Data Generation,\u201d ACM Transactions on Software Engineering and Methodology 5,1, 63\u201386.","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"326136_CR17","first-page":"333","volume-title":"Proceedings of the 5th International Conference Software Engineering","author":"H. Gomaa","year":"1981","unstructured":"Gomaa, H. and D. Scott (1981), \u201cPrototype as a Tool in the Specification of User Requirements,\u201d In Proceedings of the 5th International Conference Software Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 333\u2013342."},{"key":"326136_CR18","volume-title":"The Complete Guide to Software Testing","author":"W. Hetzel","year":"1984","unstructured":"Hetzel, W. (1984), The Complete Guide to Software Testing, QED Information Systems, Wellesley, MA."},{"issue":"2","key":"326136_CR19","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1109\/52.268953","volume":"11","author":"P. Hsia","year":"1994","unstructured":"Hsia, P., J. Gao, J. Samuel, D. Kung, Y. Toyoshima, and C. Chen (1994a), \u201cA Formal Approach to Scenario Analysis,\u201d IEEE Software 11,2, 33\u201341.","journal-title":"IEEE Software"},{"key":"326136_CR20","first-page":"1138","volume-title":"Proceedings of the Third International Conference on System Integration","author":"P. Hsia","year":"1994","unstructured":"Hsia, P., J. Gao, J. Samuel, D. Kung, Y. Toyoshima, and C. Chen (1994b), \u201cBehavior-Based Integration Testing of Software Systems: A Formal Scenario Approach,\u201d In Proceedings of the Third International Conference on System Integration, IEEE Computer Society Press, Los Alamitos, CA, pp. 1138\u20131147."},{"key":"326136_CR21","first-page":"293","volume-title":"Proceedings of COMPSAC'94","author":"P. Hsia","year":"1994","unstructured":"Hsia, P., J. Gao, J. Samuel, D. Kung, Y. Toyoshima, and C. Chen (1994c), \u201cBehavior-Based Acceptance Testing of Software Systems: A Formal Scenario Approach,\u201d In Proceedings of COMPSAC'94, IEEE Computer Society Press, Los Alamitos, CA, pp. 293\u2013298."},{"key":"326136_CR22","series-title":"IFAC Workshop Report","first-page":"55","volume-title":"Safety and Reliability in Emerging Control Technologies","author":"P. Hsia","year":"1995","unstructured":"Hsia, P., J. Samuel, D. Kung, L. Li, C.T. Hsu, C. Chen, and Y. Toyoshima (1995), \u201cA Usage-Model Based Approach to Test the Therac-25,\u201d Safety and Reliability in Emerging Control Technologies, IFAC Workshop Report, Pergamon Press, Daytona Beach, FL, pp. 55\u201363."},{"key":"326136_CR23","first-page":"222","volume-title":"Proceedings of COMPSAC'79","author":"D. Huebner","year":"1979","unstructured":"Huebner, D. (1979), \u201cSystems Validation through Automated Requirements Verification,\u201d In Proceedings of COMPSAC'79, IEEE Computer Society Press, Washington, DC, pp. 222\u2013227."},{"key":"326136_CR24","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/WSC.1990.129516","volume-title":"Proceedings of the 1990 Winter Simulation Conference","author":"T. Janowiak","year":"1990","unstructured":"Janowiak, T. (1990), \u201cA Simulation for Combat Systems Development and Acceptance Testing,\u201d In Proceedings of the 1990 Winter Simulation Conference, IEEE, New York, NY, pp. 210\u2013213."},{"key":"326136_CR25","volume-title":"Testing Computer Software","author":"C. Kaner","year":"1988","unstructured":"Kaner, C., J. Falk, and H. Nguyen (1988), Testing Computer Software, Second Edition, Van Nostrand Reinhold, New York, NY.","edition":"Second Edition"},{"key":"326136_CR26","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/ICCSSE.1988.72241","volume-title":"Proceedings of the Third Israel Conference on Computer Systems and Software Engineering","author":"D. Kleinstein","year":"1988","unstructured":"Kleinstein, D. (1988), \u201cSystem Acceptance Testing in the Real World: A Case Study,\u201d In Proceedings of the Third Israel Conference on Computer Systems and Software Engineering, Tel-Aviv, Israel, pp. 40\u201346."},{"key":"326136_CR27","first-page":"749","volume-title":"Proceedings of COMPSAC'78","author":"K. Krause","year":"1978","unstructured":"Krause, K. and L. Diamant (1978), \u201cA Management Methodology for Testing Software Requirements,\u201d In Proceedings of COMPSAC'78, IEEE Computer Society Press, Washington, DC, pp. 749\u2013754."},{"key":"326136_CR28","first-page":"345","volume-title":"Proceedings of the 15th International Computer Software and Applications Conference","author":"R. Lea","year":"1991","unstructured":"Lea, R., S. Chen, and C. Chung (1991), \u201cOn Generating Test Data From Prototypes,\u201d In Proceedings of the 15th International Computer Software and Applications Conference, IEEE Computer Society Press, Los Alamitos, CA, pp. 345\u2013350."},{"key":"326136_CR29","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/ICSM.1988.10159","volume-title":"Proceedings of the Conference on Software Maintenance","author":"T. Linehan Jr.","year":"1988","unstructured":"Linehan, T., Jr. (1988), \u201cApplication Software Configuration Management and Testing in a Pharmaceutical Laboratory Automation Environment,\u201d In Proceedings of the Conference on Software Maintenance, IEEE Computer Society Press, Los Alamitos, CA, pp. 178\u2013182."},{"key":"326136_CR30","first-page":"489","volume-title":"Proceedings of the Annual Symposium on Reliability and Maintainability","author":"M. Lipow","year":"1977","unstructured":"Lipow, M. and T. A. Thayer (1977), \u201cPrediction of Software Failures,\u201d In Proceedings of the Annual Symposium on Reliability and Maintainability, IEEE, New York, NY, pp. 489\u2013494."},{"key":"326136_CR31","volume-title":"Software Outlook Newsletter","author":"T. McCabe","year":"1983","unstructured":"McCabe, T. (1983), \u201cStructured Requirements and Testing,\u201d Software Outlook Newsletter, McCabe and Associates, Columbia, MD."},{"issue":"9","key":"326136_CR32","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1109\/TSE.1985.232549","volume":"11","author":"T. McCabe","year":"1985","unstructured":"McCabe, T. and G. Schulmeyer (1985), \u201cSystem Testing aided by Structured Analysis \u2014 A Practical Experience,\u201d IEEE Transactions on Software Engineering 11,9, 917\u2013921.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326136_CR33","volume-title":"The Art of Software Testing","author":"G. Meyers","year":"1979","unstructured":"Meyers, G. (1979), The Art of Software Testing, Wiley, New York, NY."},{"key":"326136_CR34","doi-asserted-by":"crossref","unstructured":"Musa, J. and A. Ackerman (1989), \u201cQuantifying Software Validation: When to Stop Testing,\u201d IEEE Software, 19\u201327.","DOI":"10.1109\/52.28120"},{"issue":"4","key":"326136_CR35","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/142167.142171","volume":"24","author":"B. Nardi","year":"1992","unstructured":"Nardi, B. (1992), \u201cThe Use of Scenarios in Design,\u201d SIGCHI Bulletin 24,4, 13\u201314.","journal-title":"SIGCHI Bulletin"},{"key":"326136_CR36","volume-title":"Guideline for Lifecycle Validation, Verification, and Testing of Computer Software","author":"NBS","year":"1984","unstructured":"NBS (1984), Guideline for Lifecycle Validation, Verification, and Testing of Computer Software (1984), US Department of Commerce, National Bureau of Standards, Springfield, VA."},{"key":"326136_CR37","first-page":"193","volume-title":"Proceedings of the Phoenix Conference on Computers and Communications","author":"S. Osder","year":"1982","unstructured":"Osder, S. and D. Decker (1982), \u201cSoftware Validation for Flight-Critical Systems,\u201d In Proceedings of the Phoenix Conference on Computers and Communications, IEEE Computer Society Press, Washington, DC, pp. 193\u2013198."},{"key":"326136_CR38","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1109\/WST.1988.5375","volume-title":"Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis","author":"P. Protzel","year":"1988","unstructured":"Protzel, P. (1988), \u201cAutomatically Generated Acceptance Test: A Software Reliability Experiment,\u201d In Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis, IEEE Computer Society Press, Washington, DC, pp. 196\u2013203."},{"key":"326136_CR39","doi-asserted-by":"crossref","unstructured":"Quirk, W., Ed. (1985), Verification and Validation of Real-Time Software, Springer, Berlin, Germany.","DOI":"10.1007\/978-3-642-70224-2"},{"issue":"4","key":"326136_CR40","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/TSE.1976.233835","volume":"2","author":"C. Ramamoorthy","year":"1976","unstructured":"Ramamoorthy, C., S. Ho, and W. Chen (1976), \u201cOn the Automated Generation of Program Test Data,\u201d IEEE Transactions on Software Engineering 2,4, 293\u2013300.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"326136_CR41","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1109\/ETC.1989.36247","volume-title":"Proceedings of the First European Test Conference","author":"S. Ray","year":"1989","unstructured":"Ray, S. (1989), \u201cAcceptance Tests of Distributed Processing Oriented Supervisory Control and Data Acquisition (SCADA) Systems for Offshore Platforms,\u201d In Proceedings of the First European Test Conference, IEEE Computer Society Press, Washington, DC, pp. 221\u2013228."},{"key":"326136_CR42","volume-title":"Object-Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"Rumbaugh, J. (1991), Object-Oriented Modeling and Design, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326136_CR43","first-page":"33","volume":"12","author":"D. Samson","year":"1990","unstructured":"Samson, D. (1990), \u201cTest Planning from System Requirements: A Classification Approach,\u201d Jet Propulsion Laboratory Quarterly Report 12, 33\u201337.","journal-title":"Jet Propulsion Laboratory Quarterly Report"},{"key":"326136_CR44","volume-title":"A Systematic Approach for Testing GUI Applications","author":"G. Szaboky","year":"1996","unstructured":"Szaboky, G. (1996), \u201cA Systematic Approach for Testing GUI Applications,\u201d Masters Thesis, Computer Science and Engineering Department, University of Texas at Arlington, Arlington, TX."},{"key":"326136_CR45","volume-title":"Standardized Development of Computer Software, Part II, Standards","author":"R. Tausworthe","year":"1979","unstructured":"Tausworthe, R. (1979), Standardized Development of Computer Software, Part II, Standards, Prentice-Hall, Englewood Cliffs, NJ."},{"key":"326136_CR46","volume-title":"Natl. Bur. Stand.","author":"D. Wallace","year":"1986","unstructured":"Wallace, D. and J. Cherniavsky (1986), Report on the NBS Software Acceptance Test Workshop April 1\u20132, 1986, Natl. Bur. Stand. US Department of Commerce, Washington, DC."},{"key":"326136_CR47","doi-asserted-by":"crossref","DOI":"10.6028\/NIST.SP.500-180","volume-title":"Guide to Software Acceptance","author":"D. Wallace","year":"1990","unstructured":"Wallace, D. (1990), Guide to Software Acceptance, US Department of Commerce, National Institute of Standards and Technology, Gaithersburg, MD."},{"key":"326136_CR48","series-title":"Conf. Publication","first-page":"46","volume-title":"Proceedings of the Third International Conference on Software Engineering for Real Time Systems","author":"P. Wardle","year":"1991","unstructured":"Wardle, P. (1991), \u201cMethodology and Tools for Requirements Capture, Traceability, and Verification,\u201d In Proceedings of the Third International Conference on Software Engineering for Real Time Systems (Conf. Publication No. 344), The Institute, London, UK, pp. 46\u201350."},{"key":"326136_CR49","first-page":"204","volume-title":"Proceedings of the Phoenix Conference on Computers and Communications","author":"R. Worrest","year":"1982","unstructured":"Worrest, R. (1982), \u201cUsing an Automatic Test Executor to Support Parallel System and Test Development,\u201d In Proceedings of the Phoenix Conference on Computers and Communications, IEEE Computer Society Press, Washington, DC, pp. 204\u2013208."}],"container-title":["Annals of Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018938021528.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018938021528\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018938021528.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:11:05Z","timestamp":1747577465000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018938021528"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,1]]},"references-count":49,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1997,1]]}},"alternative-id":["326136"],"URL":"https:\/\/doi.org\/10.1023\/a:1018938021528","relation":{},"ISSN":["1022-7091","1573-7489"],"issn-type":[{"type":"print","value":"1022-7091"},{"type":"electronic","value":"1573-7489"}],"subject":[],"published":{"date-parts":[[1997,1]]}}}