{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:35:02Z","timestamp":1761597302517},"publisher-location":"Vienna","reference-count":15,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_4","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T03:42:02Z","timestamp":1316058122000},"page":"48-61","source":"Crossref","is-referenced-by-count":4,"title":["Lutess: a testing environment for synchronous software"],"prefix":"10.1007","author":[{"given":"L.","family":"du Bousquet","sequence":"first","affiliation":[]},{"given":"F.","family":"Ouabdesselam","sequence":"additional","affiliation":[]},{"given":"I.","family":"Parissis","sequence":"additional","affiliation":[]},{"given":"J.-L.","family":"Richier","sequence":"additional","affiliation":[]},{"given":"N.","family":"Zuanon","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C27","author":"SB Akers","year":"1978june","unstructured":"S.B. Akers. Binary Decision Diagrams. IEEE Transactions on Computers, C27:509\u2013516, june 1978.","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-6423(96)00029-9","volume":"29","author":"J Bicarregui","year":"1997july","unstructured":"J. Bicarregui, J. Dick, B. Matthews, and E. Woods. Making the most of formal specification through animation, testing and proof. Science of computer programming, 29(1\u20132), july 1997.","journal-title":"Science of computer programming"},{"key":"4_CR3","volume-title":"14th Symposium on Principles of Programming Languages (POPL 87), Munich, pages 178-188. ACM","author":"P Caspi","year":"1987","unstructured":"P. Caspi, N. Halbwachs, D. Pilaud, and J. Plaice. LUSTRE, a declarative language for programming synchronous systems. In 14th Symposium on Principles of Programming Languages (POPL 87), Munich, pages 178\u2013188. ACM, 1987."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"L. du Bousquet, F. Ouabdesselam, and J.-L. Richier. Expressing and implementing operational profiles for reactive software validation. In 9th International Symposium on Software Reliability Engineering, Paderborn, Germany, november 1998.","DOI":"10.1109\/ISSRE.1998.730885"},{"key":"4_CR5","volume-title":"Feature Interactions in Telecommunications Systems V. IOS Press","author":"L Bousquet du","year":"1998","unstructured":"L. du Bousquet, F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Incremental feature validation: a synchronous point of view. In Feature Interactions in Telecommunications Systems V. IOS Press, 1998."},{"key":"4_CR6","volume-title":"K. Kimble and L.G. Bouma, editors, Feature Interactions in Telecommunications Systems V, pages 327-359. IOS Press","author":"ND Griffeth","year":"1998","unstructured":"N.D. Griffeth, R. Blumenthal, J.-C. Gregoire, and T. Otha. Feature interaction detection contest. In K. Kimble and L.G. Bouma, editors, Feature Interactions in Telecommunications Systems V, pages 327\u2013359. IOS Press, 1998."},{"key":"4_CR7","volume-title":"Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Twente","author":"N Halbwachs","year":"1993","unstructured":"N. Halbwachs, F. Lagnier, and P. Raymond. Synchronous Observers and the Verification of Reactive Systems. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST\u201993, Twente. Workshops in Computing, Springer Verlag, june 1993."},{"key":"4_CR8","volume-title":"December","author":"D Hamlet","year":"1990","unstructured":"D. Hamlet and R. Taylor. Partition Analysis Does Not Inspire Confidence. IEEE Transactions on Software Engineering, pages 1402\u20131411, december 1990."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"F. Ouabdesselam and I. Parissis. Testing Synchronous Critical Software. In 5th International Symposium on Software Reliability Engineering, Monterey, USA, november 1994.","DOI":"10.1109\/ISSRE.1994.341380"},{"key":"4_CR10","first-page":"286","volume-title":"6th International Symposium on Software Reliability Engineering","author":"F Ouabdesselam","year":"1995","unstructured":"F. Ouabdesselam and I. Parissis. Constructing operational profiles for synchronous critical software. In 6th International Symposium on Software Reliability Engineering, pages 286\u2013293, Toulouse, France, october 1995."},{"key":"4_CR11","volume-title":"and N. Zuanon. Using behavioral patterns for guiding the test of service specification. technical report PFL, IMAG - LSR","author":"F Ouabdesselam","year":"1998","unstructured":"F. Ouabdesselam, J.-L. Richier, and N. Zuanon. Using behavioral patterns for guiding the test of service specification. technical report PFL, IMAG - LSR, Grenoble, France, 1998."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"I. Parissis and F. Ouabdesselam. Specification-based Testing of Synchronous Software. In 4th ACM SIGSOFT Symposium on the Foundation of Software Engineering, San Francisco, USA, october 1996.","DOI":"10.1145\/239098.239119"},{"key":"4_CR13","volume-title":"Test de logiciels synchrones sp\u00e9cifi\u00e9s en Lustre. PhD thesis","author":"Ioannis Parissis","year":"1996","unstructured":"Ioannis Parissis. Test de logiciels synchrones sp\u00e9cifi\u00e9s en Lustre. PhD thesis, Grenoble, France, 1996."},{"issue":"1","key":"4_CR14","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","volume":"25","author":"P. Ramadge","year":"1987","unstructured":"P. Ramadge and W. Wonham. Supervisory Control of a Class of Discrete Event Processes. SIAM J. CONTROL AND OPTIMIZATION,25(1):206\u2013230, january 1987.","journal-title":"SIAM J. CONTROL AND OPTIMIZATION"},{"key":"4_CR15","volume-title":"Markov chain techniques for software testing and reliability analysis","author":"J Whittaker","year":"1992","unstructured":"J. Whittaker. Markov chain techniques for software testing and reliability analysis. Thesis, University of Tenessee, May 1992."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,5]],"date-time":"2019-04-05T12:17:05Z","timestamp":1554466625000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_4","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}