{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,24]],"date-time":"2025-03-24T06:30:36Z","timestamp":1742797836804},"reference-count":30,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1996,12,1]],"date-time":"1996-12-01T00:00:00Z","timestamp":849398400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer Networks and ISDN Systems"],"published-print":{"date-parts":[[1996,12]]},"DOI":"10.1016\/s0169-7552(96)00018-9","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T02:57:10Z","timestamp":1027652230000},"page":"107-131","source":"Crossref","is-referenced-by-count":5,"title":["Test sequence generation and timed testing"],"prefix":"10.1016","volume":"29","author":[{"given":"Ahmet F.","family":"Ates","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Behcet","family":"Sarikaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0169-7552(96)00018-9_BIB1","series-title":"Proc. ACM SIGPLAN' 90 Conf.","first-page":"246","article-title":"Dynamic program slicing","author":"Agrawal","year":"1990"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","article-title":"A theory of timed Automata","volume":"126","author":"Alur","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0169-7552(96)00018-9_BIB3","article-title":"Slicing approach to specification for testability in LOTOS","author":"Ates","year":"1993"},{"issue":"1","key":"10.1016\/S0169-7552(96)00018-9_BIB4","doi-asserted-by":"crossref","first-page":"126","DOI":"10.1109\/49.481699","article-title":"Using timed CSP for specification verification and simulation of multimedia synchronization","volume":"14","author":"Ates","year":"1996","journal-title":"IEEE J. Selected Areas in Commun."},{"key":"10.1016\/S0169-7552(96)00018-9_BIB5","series-title":"IFIP PSTV VIII","first-page":"63","article-title":"A theory for the derivation of tests","author":"Brinksma","year":"1988"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB6","series-title":"CFIP'95","article-title":"Un outil de test pour LOTOS","author":"Cavalli","year":"1995"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB7","series-title":"IWPTS'92","article-title":"Automated protocol conformance test generation based on formal methods for LOTOS specifications","author":"Cavalli","year":"1992"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB8","series-title":"IEEE MmNet'95","first-page":"31","article-title":"RT-LOTOS and its application to multimedia protocol specification and validation","author":"Courtiat","year":"1995"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB9","series-title":"FORTE'94","first-page":"227","article-title":"Verifying ET-LOTOS programs with KRONOS","author":"Daws","year":"1994"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB10","volume":"Vol. 1","author":"Ehrig","year":"1985"},{"issue":"10","key":"10.1016\/S0169-7552(96)00018-9_BIB11","doi-asserted-by":"crossref","first-page":"1483","DOI":"10.1109\/32.6194","article-title":"An applicable family of data flow testing criteria","volume":"14","author":"Frankl","year":"1988","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB12","author":"Garavel","year":"1992"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB13","author":"Hecht","year":"1984"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB14","series-title":"Protocol Test Systems VI","first-page":"67","article-title":"Test suite generation for application layer protocols from formal specifications in Estelle","author":"Henniger","year":"1994"},{"issue":"1","key":"10.1016\/S0169-7552(96)00018-9_BIB15","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1109\/32.263753","article-title":"Automatic analysis and test case derivation for a restricted class of LOTOS expressions with data parameters","volume":"20","author":"Higashino","year":"1994","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB16","article-title":"OSI formal specification case study: The INRES protocol and service","author":"Hogrefe","year":"1991"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB17","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/77606.77608","article-title":"Interprocedural slicing using dependence graphs","volume":"12","author":"Horwitz","year":"1990","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB18","author":"Howden","year":"1987"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB19","article-title":"LOTOS \u2014 A formal description technique based on the temporal ordering of observational behaviour","author":"ISO","year":"1988","journal-title":"ISO\/IEC JTC1\/SC21, IS 8807"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB20","first-page":"1","article-title":"ISO\/IEC 9646-2: Conformance testing methodology and framework \u2014 Part 2: Abstract test suite specification","author":"ISO","year":"1991","journal-title":"ISO\/IEC JTC\/SC21"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB21","first-page":"1","article-title":"ISO\/IEC 9646-3: Conformance testing methodology and framework \u2014 Part 3: The tree and tabular combined notation","author":"ISO","year":"1991","journal-title":"ISO\/IEC JTC\/SC21"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB22","series-title":"Revised Draft on Enhancements to LOTOS","article-title":"A formal definition of time in LOTOS","author":"Leduc","year":"1994"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB23","author":"Linn","year":"1994"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB24","first-page":"149","author":"Nicollin","year":"1993"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB25","article-title":"Relations d'implementations et hypotheses de test sur des automates a entrees et sorties","author":"Phalippou","year":"1994"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB26","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","article-title":"Selecting software test data using data flow information","volume":"11","author":"Rapps","year":"1985","journal-title":"IEEE Trans. Software Engineering"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB27","author":"Sarikaya","year":"1993"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB28","series-title":"IWPTS'93","first-page":"257","article-title":"A formal approach to conformance testing","author":"Tretmans","year":"1993"},{"key":"10.1016\/S0169-7552(96)00018-9_BIB29","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1109\/12.88472","article-title":"Test generation from LOTOS specifications","volume":"40","author":"Tripathy","year":"1991","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0169-7552(96)00018-9_BIB30","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program slicing","volume":"10","author":"Weizer","year":"1984","journal-title":"IEEE Trans. Software Engineering"}],"container-title":["Computer Networks and ISDN Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296000189?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0169755296000189?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,14]],"date-time":"2019-04-14T02:20:25Z","timestamp":1555208425000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0169755296000189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,12]]},"references-count":30,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1996,12]]}},"alternative-id":["S0169755296000189"],"URL":"https:\/\/doi.org\/10.1016\/s0169-7552(96)00018-9","relation":{},"ISSN":["0169-7552"],"issn-type":[{"value":"0169-7552","type":"print"}],"subject":[],"published":{"date-parts":[[1996,12]]}}}