{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T03:52:41Z","timestamp":1778298761113,"version":"3.51.4"},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1993,3,1]],"date-time":"1993-03-01T00:00:00Z","timestamp":730944000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Real-Time Syst"],"published-print":{"date-parts":[[1993,3]]},"DOI":"10.1007\/bf01088696","type":"journal-article","created":{"date-parts":[[2005,2,7]],"date-time":"2005-02-07T07:56:06Z","timestamp":1107762966000},"page":"31-62","source":"Crossref","is-referenced-by-count":177,"title":["Predicting program execution times by analyzing static and dynamic program paths"],"prefix":"10.1007","volume":"5","author":[{"given":"Chang Yun","family":"Park","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1986.6312944","volume":"12","author":"G. Avrunin","year":"1986","unstructured":"Avrunin, G., Dillon, L., Wileden, J., and Riddle, W. 1986. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems.IEEE Transactions on Software Engineering. 12:278?291.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/spe.4380210402","volume":"21","author":"H. Callison","year":"1991","unstructured":"Callison, H., and Shaw, A. 1991. Building a real-time kernel: First step in validating a pure process\/Adt model.Software ? Practice and Experience. 21:337?354.","journal-title":"Software ? Practice and Experience"},{"key":"CR3","volume-title":"TAL ? A language for timing analysis","author":"M. Chen","year":"1987","unstructured":"Chen, M. 1987. TAL ? A language for timing analysis. Department of Computer Science, University of Texas, Austin."},{"key":"CR4","volume-title":"A Discipline of Programming","author":"E. Dijkstra","year":"1976","unstructured":"Dijkstra, E. 1976.A Discipline of Programming. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. Hoare","year":"1969","unstructured":"Hoare, C. 1969. An axiomatic basis for computer programming.Communications of ACM. 12:576?580.","journal-title":"Communications of ACM"},{"key":"CR6","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1109\/32.57625","volume":"16","author":"J. Huang","year":"1990","unstructured":"Huang, J. 1990. State constraints and pathwise decomposition of programs.IEEE Transactions on Software Engineering. 16:880?896.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR7","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/BF00365999","volume":"3","author":"N. Gehani","year":"1991","unstructured":"Gehani, N. and Ramamritham, K. 1991. Real-time concurrent C: A language for programming dynamic real-time systems.The Journal of Real-Time Systems. 3:377?405.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/978-1-4612-5983-1_13","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"Gries, D. 1981.The Science of Programming. Berlin\/New York: Springer-Verlag. Chapter 12, pp. 149?162."},{"key":"CR9","series-title":"Tech. Report","volume-title":"An experiment on predicting and measuring the deterministic execution times of parallel programs on a multiprocessor","author":"J. Kim","year":"1990","unstructured":"Kim, J. and Shaw, A. 1990. An experiment on predicting and measuring the deterministic execution times of parallel programs on a multiprocessor. Tech. Report #90-09-01, Dept. of Computer Science and Engineering, Univ. of Washington, Seattle, WA."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"870","DOI":"10.1109\/32.57624","volume":"16","author":"R. Korel","year":"1990","unstructured":"Korel, R. 1990. Automated software test data generation.IEEE Transactions on Software Engineering. 16:870?879.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR11","unstructured":"Lin, K., Kenny, K., Natarajan, S., and Liu, J. 1990. FLEX: A language for real-time systems programming.Foundations of Real-Time Computing: Formal Specifications and Methods. (ed. A. Tilborg and G. Koob), Kluwer Academic Publishers. pp. 251?290."},{"key":"CR12","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1109\/TEC.1960.5221603","volume":"9","author":"R. McNaughton","year":"1960","unstructured":"McNaughton, R. and Yamada, H. 1960. Regular expressions and state graphs for automata.IRE Transactions on Electronic Computers. 9:39?47.","journal-title":"IRE Transactions on Electronic Computers"},{"key":"CR13","unstructured":"Mok, A., Amerasinghe, P., Chen, M., and Tantisirivat, K. 1989. Evaluating tight execution time bounds of programs by annotations.Proceedings of 6th IEEE Workshop on Real-Time Operating Systems and Software. pp. 74?80."},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"Niehaus, M. 1991. Program representation and translation for predictable real-time systems.Proceedings on 12th IEEE Real-Time Systems Symposium, pp. 43?52.","DOI":"10.1109\/REAL.1991.160358"},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Nirkhe, V. and Pugh, W. 1991. A partial evaluator for the Maruti hard real-time system.Proceedings on 12th IEEE Real-Time Systems Symposium, pp. 64?73.","DOI":"10.1109\/REAL.1991.160359"},{"key":"CR16","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1109\/32.48935","volume":"16","author":"K. Olender","year":"1990","unstructured":"Olender, K. and Osterweil, L. 1990. Cecil: A sequencing constraint language for automatic static analysis generation.IEEE Transactions on Software Engineering. 16:268?280.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Park, C. and Shaw, A. 1990. Experiments with a program timing tool based on source-level timing schema.Proceedings on 11th IEEE Real-Time Systems Symposium. pp. 72?81. (A revised version is also inIEEE Computer, 24:48?57.)","DOI":"10.1109\/REAL.1990.128731"},{"key":"CR18","unstructured":"Park, C. 1992. Predicting deterministic execution times of real-time programs. Ph.D. Thesis, University of Washington, Department of Computer Science."},{"key":"CR19","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BF00571421","volume":"1","author":"P. Puschner","year":"1989","unstructured":"Puschner, P. and Koza, Ch. 1989. Calculating the maximum execution time of real-time programs.The Journal of Real-Time Systems. 1:159?176.","journal-title":"The Journal of Real-Time Systems"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"875","DOI":"10.1109\/32.29487","volume":"15","author":"A. Shaw","year":"1989","unstructured":"Shaw, A. 1989. Reasoning about time in higher-level language software.IEEE Transactions on Software Engineering. 15:875?889.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Shaw, A. 1991. Deterministic timing schema for parallel programs.Proceedings of 5th International Parallel Processing Symposium. pp. 56?63.","DOI":"10.1109\/IPPS.1991.153757"},{"key":"CR22","series-title":"Tech. Report","volume-title":"A real-time language with a schedulability analyzer","author":"A. Stoyenko","year":"1987","unstructured":"Stoyenko, A. 1987. A real-time language with a schedulability analyzer. Ph.D. Thesis, Univ. of Toronto, Computer Systems Research Institute, Tech. Report CSRI-206, Toronto."},{"key":"CR23","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BF00355297","volume":"4","author":"A. Stoyenko","year":"1992","unstructured":"Stoyenko, A. and Marlowe, T. 1992. Polynomial-time transformation and schedulability analysis of parallel real-time programs with restricted resource contention.Real-Time Systems, 4:307?330.","journal-title":"Real-Time Systems"},{"key":"CR24","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1109\/TSE.1980.230473","volume":"6","author":"M. Woodward","year":"1980","unstructured":"Woodward, M., Hedley, D., and Hennell, M. 1980. Experience with path analysis and testing of programs.IEEE Transactions on Software Engineering. 6:278?286.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR25","doi-asserted-by":"crossref","first-page":"1499","DOI":"10.1109\/32.6195","volume":"14","author":"M. Young","year":"1988","unstructured":"Young, M. and Taylor, R. 1988. Combining static concurrency analysis with symbolic execution.IEEE Transactions on Software Engineering, 14:1499?1511.","journal-title":"IEEE Transactions on Software Engineering"}],"container-title":["Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088696.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01088696\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01088696","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T05:56:06Z","timestamp":1556603766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01088696"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,3]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1993,3]]}},"alternative-id":["BF01088696"],"URL":"https:\/\/doi.org\/10.1007\/bf01088696","relation":{},"ISSN":["0922-6443","1573-1383"],"issn-type":[{"value":"0922-6443","type":"print"},{"value":"1573-1383","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,3]]}}}