Model-based specification animation using testgraphs. Miller, T. & Strooper, P. In Formal Methods and Software Engineering, pages 192-203, 2002. Springer.
![Model-based specification animation using testgraphs [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 5 downloads
Paper bibtex 5 downloads @inproceedings{miller2002model,
title={Model-based specification animation using testgraphs},
author={Miller, Tim and Strooper, Paul},
booktitle={Formal Methods and Software Engineering},
pages={192-203},
year={2002},
publisher={Springer},
url={http://eprint.uq.edu.au/archive/00001035/01/svrc_02_15.pdf},
core={B},
}Downloads: 5
{"_id":{"_str":"53fab3ea9281a97047001a8a"},"__v":0,"authorIDs":["2dLRQdmCcqgDZJZyy","2qAkYHxcLaLupKSRk","2qKRcFAxftzdxbCDs","2qRr5orGqDypmY35T","32euzAaSe2gMZgAnG","3W6jgFtAC5Q6zy7EB","3zaTPw2B7MydG5Rtz","46mpsem3bFo9RN5WT","4MSCbL4GpPg5Spvfv","4W3JPTFJdWKPXr4ev","4dtnXhsNiRaMgP7R8","4jj8Z3hsvXMW5tS9C","52PNWh6JXctgGswpf","546766ebbc7d6a460d000c48","5AaCS77a3hP3QnEap","5B4mXLDWcuh5sM5di","5W3kWFptEsmfXgzbp","5de720cf97054edf0100004b","5de76234179cbdde010000c5","5de889242c5eb2df0100000e","5de8c8cf9e80cdde010000ba","5de90776d5dfa2e00100010d","5de923d15d589edf0100013c","5de9c61b5e5ac8de01000060","5de9cbc15e5ac8de010000ae","5dea09affac96fde01000108","5dea783d4f43c9de01000173","5deb28a928b3ebde01000107","5deb4f3b0ff3bbdf0100005c","5dec3548d39dc7de010000a5","5ded7582722536de0100016c","5dedd9690e26d5de010000a4","5dee1ef7584fb4df01000228","5dee95f50ceb4cdf0100003c","5def0f14c5ae39f2010000b3","5def24a8e83f7dde01000045","5def3340e83f7dde010000ee","5def8bfc45114dde0100015e","5df04f4baa8415de0100010e","5df06da8e4ce32df0100014f","5df07c76e49680f201000090","5df0b7088367c8de010000c1","5df0c6cd96fa76de01000015","5df1ec1378da84de01000070","5df223e51e4fe9df010000f1","5df30630bc9e6cde01000095","5df31c883b310cde0100007d","5df332df683178f301000029","5df334df683178f301000049","5df5df7bf65dd9de01000076","5df60cd42b34d0de0100000a","5df7b20592a8e4df0100000d","5df85d6eb99bcff301000017","5df8935b10b1d1de01000011","5df8f2f6277e45de01000126","5df919a82e8c31df010001cf","5df99ac7c4ada8de0100008d","5df9e6e6250522de0100001d","5dfb596b012925de01000076","5dfc369a94420cde01000027","5dfc866d4a82f3f2010000f0","5dfd7d7f012153df010000a7","5dfe2e0768d95dde01000006","5e002d85f11348df01000052","5e020644642c1cdf0100000a","5e0504dfe11806de01000054","5e053db11965a8de01000058","5e060d91e95bcdde010000e3","5e0954fa72022bde0100005e","5e0a6c9a3eccf6e001000091","5e0af5e93830a1df0100004d","5e0b7912ca6111df0100000b","5e0d0d449ecb35de0100004c","5e0dcdf3552b25df01000063","5e0dd9aa552b25df01000102","5e0eb65003f891de01000070","5e0fc1b22cfae9df01000005","5e104ebea28a75de0100000e","5e11a0182af340df01000009","5e12d5087be933de01000004","5e12ee867be933de010000ca","5e13154456233bde01000093","5e135bc1697554de01000198","5e1392baa212e1de01000190","5e1467f90467fede01000098","5e14811c08c265de0100007b","5e14f4d5b46f1bdf01000098","5e155daf1e2528de01000018","5e162232df1bb4de01000024","5e168d290ba191df010001da","5e16a3beda4561de010000cc","5e17a3fbd954d8df01000140","5e18aebdbd0cf5de01000073","5e1a6ce2b16ec5df01000016","5e1a9cae69523cde010000eb","5e1affbdea60e1de01000059","5e1b6418a45296de01000188","5e1b6db371abfede01000071","5e1ba78261cb16df01000054","5e1c2a1e7530ebe801000134","5e1c4d93e556c6de01000080","5e1d020b633f2ade01000112","5e1d300c6b18c4df0100004b","5e1d3d846b18c4df010000e0","5e1d4bbae32442de01000055","5e1d84b83a6d8cde010000a7","5e1e3bef407a20de01000206","5e1e5dd2ce9ed9de01000001","5e1e74b7ce9ed9de01000115","5e1ede96875c69df010000e1","5e1ef1b6147729df01000058","5e1fa09c4fcd1cde010000d2","5e1fdc6fc88eb5df010000b6","5e201920453fb7df0100010b","5e2111bdc63e88df010000cf","5e211e11d78fbbdf01000019","5e218dba3ef35cdf01000001","5e24ca3f981ceddf01000065","5e25130cb55b9edf01000010","5e259191d31494de01000137","5e262e9524c8a6de01000042","5e2666a8581147f20100002d","5e26b31af3bb7ddf01000108","5e26fa779667abde010000c4","5e270caef51e02de01000026","5e279b7828f7a6de0100003f","5e27f1eb4d75d8de0100003b","5e2891ff67e11edf0100018b","5e28b8866acacbdf01000083","5e28dc05a3df5bdf010000c6","5e292c3477c165de0100003f","5e29ee2e8fb0e6de0100007d","5e2a6954621cc1df010000aa","5e2d7480556d50df01000048","5e2d94ff481fd6de01000058","5e2f26664557f3de010001ad","5e2f41ef78a7cedf010001c1","5e2f68f60c34b9f201000063","5e2f7f069ca24fdf01000232","5e2f92b548b7a4df01000164","5e2fa35aa21e47de01000044","5e2fd6854e91a9df01000009","5e30044a5bfc8ede010000ff","5e30cf2e2a1e4bde010001ea","5e3119ee714ff7de01000087","5e313be35a3ceade010000fe","5e314bb78cf138de01000089","5e31973f00e4e5de01000211","5e31e238bba4d0de0100016c","5e3244b7e45eb5df01000044","5e3382a57a676dee0100009d","5e338ee87a676dee01000167","5e33a8c217f2c9de01000118","5e33abf417f2c9de0100013f","5e371fb5646a98de010000cc","5e373f324cbab2df01000106","5e3774dfac7fe8de01000061","5e377df2ac7fe8de010000fe","5e3872a31f8af9e001000109","5e38a2c9645ed2de0100003e","5e390bf9dc5b8ade01000111","5e391ced7f8bf3f301000087","5e39257e7f8bf3f3010000e2","5e395e61fa3db5df01000121","5e3965db346d7cde0100001f","5e3a1f91c268d2de010000f0","5e3a34b2237cdede01000091","5e3a401f237cdede01000116","5e3aaa684518d5df010000ee","5e3b686a59b923df01000072","5e3cc218948886de010000ad","5e3d70715f3240de01000188","5e3e1e61546544df01000003","5e3e8280666d79df0100008c","5e3f25eb7da304de01000074","5e3f4a9977baf5df010000be","5e3f54becd8fe2de01000009","5e4058dbaeea22df01000062","5e40bbec019547df010000f7","5e40cda7614963de010000c8","5e4284f35ea111df01000036","5e435d54a37866de0100011f","5e43cfab44c4f9df01000213","5e445004df3c2af3010000d9","5e447080084293df0100010a","5e44956cec14b3de01000132","5e44e9f7ab9cedde01000102","5e454327a96575df0100001f","5e45a3a723a133e8010000d6","5e47415ad8f94bde01000033","5e4827ba08d3f9de0100005c","5e48888e86dc17de010000c9","5e49d3b4b63120f2010000a8","5e4a7c3758ecd9df010000ee","5e4a80fa58ecd9df01000124","5e4b1e6cc59ab1f3010000bc","5e4dc03c682c99de01000063","5e4eaed364b624de01000184","5e4edfbb2962cadf0100010e","5e4ef956338acfde010000ca","5e4f13a9e5389bde0100008f","5e4fac6a29097dde01000118","5e4fcbf82c51e8de01000118","5e4fe91bea0ccade01000136","5e52e7249c58afde0100005a","5e52f90d9c58afde01000129","5e53569745815bf20100002c","5e53b5f037b729de010000d3","5e53e391d26e87df01000035","5e543ca87a758fde010000bf","5e546f8c7f0f44de01000059","5e5541edca58a8df01000176","5e55d3238061d1de010000c2","5e56c82696127bde0100012a","5e5729de429006de0100023c","5e573618bf9f82de01000071","5e574227bf9f82de010000ed","5e5761d018f14bdf010000eb","5e57c08b5d5d52de0100007f","5e5850c42c2732de010000d0","5e586980dd78b7de01000083","5e59696e56d60ade010000e1","5e5b605f502fdadf01000042","5e5c204315d8f5de0100002e","5e5c56c9f4282ddf01000032","5e5cce11aab7afde0100008d","5e5d19ab168391de01000013","5e5da9723d34a1de01000028","5e5deedf863279df010000b1","5e5e466dd3955dde01000154","5e5ee32acc2eefde01000048","5e5f092f6ee7bddf010000e4","5e5f44af9771b7de0100011d","5e5f81e25766d9df010001b5","5e5fb46019c3fade010001a6","5e6071f19119f0de0100008c","5e6084d01fc211de01000023","5e608ce81fc211de01000081","5e60eaaf839e59df0100012b","5e61061631c7d3de010001cf","5e613b3597c182e901000135","5e6179a8417d19de01000220","5e6193f31d4ccede0100010d","5e6210a52df238de0100004f","5e623b51a84f4adf01000175","5e626d5f11ac5fde01000163","5e66d851277ba4df0100010f","5e672e8d0355fddf01000176","5e682933dfcfe3de010002b9","5e687ee403bf55de0100018b","5e68c69dae547ede010000b1","5e698253ae9c71de01000754","5e6a211a38f351de0100019b","5e6a22aa38f351de010001b9","5e6a5775d37d43de01000148","5e6ae84b028c17de010000fd","5e6af73b69285ede0100004c","5ns4MeAN7n6EFxTZ6","62X4PkquZshWbLFnP","68usPwWi7L6P4uhWD","6BoocfeHDrceSGfvJ","6K7vKMtwetW9EAD8b","6X3MXc5wxDj86YZuA","6grMu9pYfgrSdPd7Q","6kGQzMGMC2TqQqsjy","6tEQz77MRKZZ5NTyR","6z6hZmHTjWKedbjCg","72LAc7ygPri56sebD","7Jgot5jnkZH4SRMKs","7MKNgBxCm8cHdDBGQ","7dXTptdF8p9b9yZTW","7eQpnA4Eg5u7kFRAj","7yLuCqYuqGCpc4X6D","7z8owPAzcBFfsRYqh","84mkDdPuGRJ5AKgDF","8eCmkG7Xy7NKZp4jT","8pckSbNjRRTxtu82N","8xBCwXqzvFxW3AYDm","99PBpemg2wZTbDP7h","9PPjQemXwj65ixsEu","9QtR9SRcD8zpR3gBT","9R7FKrgzF5s87KBYy","9TeGPTowcL2PcNmgt","9eeEvuNjT9sa6dMXM","AJe3abG5vbkmLhzdR","AXoidcf8BjoTbjpDM","Aq2hYshsNi9m2W55k","B7FnrRBN6vwK7yaHS","BicxjidmDxNcbeiu7","BqjMt7MworbWEgBfB","BxmzLzsusL2JGomsz","CG6dCwbDiDtXsRTmo","CGyZriotkScPXiLqd","CM6G9FXFxHkd2Sa8X","CwHHt4KtKwXrcwv4j","CwT5dc99rwxHgDg47","D7kXH5Qj4k4Wb4ZDk","DACXtEXXK4jsrQtcz","DS2wYiGwC24Ye8jXz","DXm7KqLBsANDtGgyS","DZgAyJhLWEBC9rCmc","Dc4FTpirsqxsM9jGC","DeFXEavbgXq6u2cuP","DzoW3Z9vm7MYvp7Ty","EDcneb4EXGiXarwwb","EDprHPn5Q82e8wMj4","EDsLgiYbgGRnMyycY","EGmuvnp72xDJJpAg3","Et6tkYgRy3gR4juoJ","EyvLggfFf73h22ssY","EzBeh6nMcAoWKz4g4","FGKYaZgzkPvJETGWs","FGn2HDdQs2civ7Txr","FTjMLBiv5L6W7CkaJ","FcGHzRv4tpSPbWDeG","GFr9Y4qdc9yhpugiq","GKjDXMraStiPxa7JG","GLg2MZinXgxvZDxB2","GPDp7egbrYeSzmEbt","GdqLtFz2j9tHebeo8","Ggxe3SmxhYFFur57w","GqBvyp6XHCmefPXMH","Gvpbfbji9vfoQpPTo","H7mFXcckEtgxLHBxp","HdNX7PeuxXogSZSNe","J23rcXnWZEwtNXywi","J24gKn5tyfrq3kxEk","JBDo2gbEhfikv5tiD","K5RwEbrfC4fmArsLc","KJfbvTNeMX5rfPHNC","KRvxzrhWX4DvLLwcT","KT9p5HupkppWrRzBt","KZkcvSTu8Kym3skyk","L9vvzxp3hamH5qEak","LAZGNzuc9ym6TRfRB","LBm8TrN4nZYdKLr4s","LJNrYRWd7YXuKG7fp","LNf3MxLnu8z4oNaJ4","LdXuoWaYPMQC3QFSN","LhL5twwWoJA5NBcvq","Lv3vTPz6wmk7qyrfp","Mr8ysFRyhW2wjyekZ","MsrjiymBNWSkZH76C","N5ww6rpmTsn5WiRZH","NTY9ZoMbp2Ycb7QMC","Nhf4nNBvKJyDqry9v","Nps68jDnKEkEKkN5d","Nuvo3vcBGDwNmMLrb","Nwj9nmdjaH2KeKBoa","P2N6nweWxsoyic8kM","P3NP3W73YXdDxXwSf","P7e6ZdHKT27THKcSL","PL4TGMrjiiPuC9Eib","PWdjXfRpNLquadY4A","PWnnfwJo93sNywK4w","PscxSvCiFvzBWoqvr","PtXqpoA4n837ZbiHE","PznLbNku2pN3wBEwS","QNNZbQ3GRwukK2pkG","QeMqgLkXQrEWvinWv","QsPFttje7KQgkKTnX","QtM4dRXHwik2cRqvm","Qun4PahiFuk7DxEYX","R23pxS9sSpXJF5QBK","R2hEAmaEXSxmjTj2e","RKd3Q4KxssDerWYTz","Rc5Nj3pu6hhXSeneo","Rj6hPNruvhcYZqm8Z","RoqjLCFRYbQBjQ46G","SZu5qFoz365MRb4Du","SbQdpbDND2DhqpLHJ","SdRJsa2jSibdZqyA5","SmLtyTotvNEEzcLKB","SpsjfbcJcpbbkPGxA","SvJnD5LQ6GzR49BYN","TQsetEx69WqZGAqHY","TSzJuyEM67QJ992Cg","TXEQdGkPQFgZvnnKQ","TiQSLRKYD453ts3E5","WGXsX6KCDv2fYAaBW","WGb8vMT2QEwWADWqF","WNHfrpgeyyK2JKp9p","WZXReEQxb3gQrsg8K","WbiHF3ddGaiLthJdc","WcbysYpeCr5e2gEWf","Wgd7cpr3ik9jfCru9","Wivx7yEAEL58M2B6x","XM7ohc2gmJbF85qzq","XdiGTLb3YjMdQiHdy","XeECPFbPsgGdsQNL7","Xs5m9AFmXrvCkMcT2","Y7rCRTh6FEFkqHwvK","YAybx7ZCtZnPfX6AA","YBMzhQjX3A5gNueur","YEPn3PvfN4pwpYTBn","YJWjpfwGtXcx4zdHh","YMxMWeXzNbJQQuPjA","YS4W5LjMQwNaEHpcS","YcN8eGdr3R3zFxSjM","Zn554AwYfjowirjay","ZtBu6ucxgCmhkqenu","ZzQwgBjM45Wr3uLhW","ZzmRS5w6QHvKsod2z","a2zby83Df9q5wSCsE","a5YYGbixH6dxNucR2","achq75SeAXg6rEFRo","adhgAjbgYy4Zz8q5b","agMnuYJgZzxDFEfst","ap5TAsKZjEn6HaZBd","bBrwhGCLBb4yHGvaY","bG2RmoFAAXtksoFhB","bRtS4xbwDgdvTFzC7","bsEnkkt9XnP8bALTz","bybfZe6LAwg7GJ2xk","cG5ZYnoKgj3SXuZdt","cHa8MFkGaJnDzfkFY","cQqdDFi6LDRJ6iS8Q","cXkWRYoEce3vcagku","cio76x2PbZGN2jMcs","cpcEdD6DHxzzabEmS","crKDnmNuQs338aZ4J","dDDgsf7LpyhAoBX92","dXoxakXLEZjhhCvGf","dkNEZBj3SqwB5dPnB","dxTC8DKAHpsez3tdY","e2Wnzu97Jztjqmgzz","e6tBwaezzrsWZNXav","eLrGZqGwseWTsfMHB","eRhrtiawTZEnxfAeB","ebm27Z6un2jHZARPd","eniFonEMGjooJvmpR","eqjLXdMT8uBSvew6J","fBBvwHuG3F79GWWFr","fCbyRpL2iyeroHtzK","fRiQ2jkkKiSpQocyk","fhNwveS9gAiJXgwGZ","fsG9fwqAvXdNRZXcs","gDtkcn5pwBK7niqpP","h8XaJLJ4ryHz3GXi7","hGtEXufHfLA6yPbfF","hLqYjcDuzS8oCvMg8","hf68d47ZyE55LjwrK","hf8D5Rmw3Bf6dDGTr","hsLyTjvSG3eRcbPPk","i8aNqtxJTS3gX56H9","iEenecJ4iwdR6ZDKM","iQ73t3grqp6uuQ5WE","iXbowcrXLhKr4owzw","ibMbK354WqJzDeYzH","iqFt5FyyFA64sCgJF","isKZJqjHjYXdCZZwM","j3Xe4a4TnCyAXXuKT","jBPrZSQ9NfsBnoHNP","jKEhQXmLfTddEbRnk","jZfqWfJz9eDjncdyJ","jdTzntjLDzyo8Hsbv","jxfNHwQ2fHBPakutK","jyeNYYNYXWH5nNtRt","k7fm6SXQrW9qEYQLb","kHgWJBxC9Ca8CQniQ","kJJBJKN6ijf4YHccY","kcsYnZG5MNtpmDpgn","kymQAAdc82rRreQ4i","m9j4FmQ7DT9B5SPCb","mMeBJRqLp3D6x5hNH","mas5XWEekdWht4rD5","meusLeSanGgPFHEZ4","mgMWw39bTfqht3ZgL","mgiF9C4yu9ohnYq5i","mpwhDzLvuahfepz5m","mqk4RN3SmWPHH9Ny7","n9BH9x6XJAfx56wFc","nE9cCA3duZ4QZmg4o","naRnMtpCcwwrygNHc","njph868tvCMMspP6B","nqo88C9LMsFJXWa7z","nuF8E4ssbmxHuuwM3","otEL7kfQFFLXKzsjq","oxRBzHrnMiahX9QoY","oyv9RgCXbqr6c5zZe","p6NdfbRo68jAomDEa","pCJ4gk7mgD2Spsoac","pLYzvZKtPMxaefX7S","petwYJCzZJCEZXWyM","pgNaGERqjJRCtPAjz","pjpczZtxrjigTJdhx","pt7Wu55QzndeypNrf","px7SsTyR9ZDBhTBEK","qC5yWFgFJrfFPXX8e","qeF6y3Dw8kyFeCwEB","rQmbNssvJif7YEHew","rXHao4WrptsbkKfpd","rZK34thdrJ7WcS8zg","rb7LbNdLgJ3BAh3gE","s2g6t9i385hPGX67g","s4gdoZrJMmyccbj3z","sAivGboDBd92SsaRj","sRNPA4CSvRdCsgNWX","snfLJSpdNcN4qBZoM","sucsQj346HSro4QCM","t7YQmBGcA3yKB2Tmr","tA2Nt8tBF3XmF6MiD","tRvxg5cjK2YXMhBYv","uQNEQ3PzJGnr5Exo9","umrZLu49k6WCpJRvN","v6Kq2hLEeuYbQEtLq","vNKiR8yEqJMzeXdp7","vj5uQHYBee6shs5wz","wpYb5j3JHDkrWyYT5","wqNcucichH7peLuvP","wqP7W5TQA97CxyMF7","wttGg4qhbm3Pvs9Yy","xA8GdLTYYf8iiLbaK","xG6Tbe9LE4mbTgyGG","xXN7f26LqPGQtMMuS","xZST8C3vqCf3yzF7J","xbbBSsfTnMswgjXXx","yET9ksDBXGnfxsP6W","yNgAxPBC2rCzeswju","yqpgXnHNeuGHF9HRY","yxExRxK2RgiRjXNgE","z6vZG2ETkARg2BjLf","zTYWxbH7i2gPfbyEC","zgo9w6KYYzkRrBhvd","ziDSYGCcDMRzYQaYN","zstTmXcMxpuGTPvgE","zxdvFkJCzNRoYMAqm"],"author_short":["Miller, T.","Strooper, P."],"bibbaseid":"miller-strooper-modelbasedspecificationanimationusingtestgraphs-2002","bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Model-based specification animation using testgraphs","author":[{"propositions":[],"lastnames":["Miller"],"firstnames":["Tim"],"suffixes":[]},{"propositions":[],"lastnames":["Strooper"],"firstnames":["Paul"],"suffixes":[]}],"booktitle":"Formal Methods and Software Engineering","pages":"192-203","year":"2002","publisher":"Springer","url":"http://eprint.uq.edu.au/archive/00001035/01/svrc_02_15.pdf","core":"B","bibtex":"@inproceedings{miller2002model,\n title={Model-based specification animation using testgraphs},\n author={Miller, Tim and Strooper, Paul},\n booktitle={Formal Methods and Software Engineering},\n pages={192-203},\n year={2002},\n publisher={Springer},\n url={http://eprint.uq.edu.au/archive/00001035/01/svrc_02_15.pdf},\n core={B},\n}\n\n","author_short":["Miller, T.","Strooper, P."],"key":"miller2002model","id":"miller2002model","bibbaseid":"miller-strooper-modelbasedspecificationanimationusingtestgraphs-2002","role":"author","urls":{"Paper":"http://eprint.uq.edu.au/archive/00001035/01/svrc_02_15.pdf"},"metadata":{"authorlinks":{"miller, t":"https://uqtmiller.github.io/publications/"}},"downloads":5},"bibtype":"inproceedings","biburl":"https://uqtmiller.github.io/files/pubs.bib","creationDate":"2014-08-25T03:56:26.170Z","downloads":5,"keywords":[],"search_terms":["model","based","specification","animation","using","testgraphs","miller","strooper"],"title":"Model-based specification animation using testgraphs","year":2002,"dataSources":["prk7Mhd5Dv3tM6Wp6","tctNabWBSjqkRdjhA"]}