{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:15:18Z","timestamp":1763468118750},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642342806"},{"type":"electronic","value":"9783642342813"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34281-3_29","type":"book-chapter","created":{"date-parts":[[2012,10,29]],"date-time":"2012-10-29T18:38:09Z","timestamp":1351535889000},"page":"414-429","source":"Crossref","is-referenced-by-count":11,"title":["Annotations for Alloy: Automated Incremental Analysis Using Domain Specific Solvers"],"prefix":"10.1007","author":[{"given":"Svetoslav","family":"Ganov","sequence":"first","affiliation":[]},{"given":"Sarfraz","family":"Khurshid","sequence":"additional","affiliation":[]},{"given":"Dewayne E.","family":"Perry","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"29_CR1","unstructured":"Alloy Analyzer 4 (March 2011), \n                    \n                      http:\/\/alloy.mit.edu\/alloy4\/"},{"key":"29_CR2","unstructured":"Alloy model of Chord (May 2011), \n                    \n                      http:\/\/alloy.mit.edu\/community\/files\/chord.pdf"},{"key":"29_CR3","unstructured":"Automaton library (March 2011), \n                    \n                      http:\/\/www.brics.dk\/automaton\/"},{"key":"29_CR4","unstructured":"Choco constraint solver (March 2011), \n                    \n                      http:\/\/www.emn.fr\/z-info\/choco-solver\/"},{"issue":"5","key":"29_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1598732.1598733","volume":"34","author":"M. Auguston","year":"2009","unstructured":"Auguston, M.: Software architecture built from behavior models. SIGSOFT Softw. Eng. Notes\u00a034(5), 1\u201315 (2009)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44898-5_1","volume-title":"Static Analysis","author":"A.S. Christensen","year":"2003","unstructured":"Christensen, A.S., M\u00f8ller, A., Schwartzbach, M.I.: Precise Analysis of String Expressions. In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 1\u201318. Springer, Heidelberg (2003)"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Frias, M.F., Galeotti, J.P., L\u00f3pez Pombo, C.G., Aguirre, N.M.: DynAlloy: upgrading Alloy with actions. In: Proceedings of the 27th International Conference on Software Engineering, ICSE 2005, pp. 442\u2013451. ACM, New York (2005)","DOI":"10.1145\/1062455.1062535"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Ganov, S., Khurshid, S., Perry, D.: A case for Alloy annotations for efficient incremental analysis via domain specific solvers. In: 26th IEEE\/ACM International Conference on Software Engineering, Lawrence, Kan, USA (2011)","DOI":"10.1109\/ASE.2011.6100100"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-642-21437-0_12","volume-title":"FM 2011: Formal Methods","author":"A.A. Ghazi El","year":"2011","unstructured":"El Ghazi, A.A., Taghdiri, M.: Relational Reasoning via SMT Solving. In: Butler, M., Schulte, W. (eds.) FM 2011. LNCS, vol.\u00a06664, pp. 133\u2013148. Springer, Heidelberg (2011)"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Khalek, S., Narayanan, V., Khurshid, S.: Mixed constraints for test input generation - an initial exploration. In: 2011 26th IEEE\/ACM International Conference on Automated Software Engineering (ASE), pp. 548\u2013551 (November 2011)","DOI":"10.1109\/ASE.2011.6100122"},{"key":"29_CR11","doi-asserted-by":"crossref","unstructured":"Khurshid, S., Jackson, D.: Exploring the design of an intentional naming scheme with an automatic constraint analyzer. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering, ASE 2000 (2000)","DOI":"10.1109\/ASE.2000.873646"},{"key":"29_CR12","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1145\/1572272.1572286","volume-title":"Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009","author":"A. Kiezun","year":"2009","unstructured":"Kiezun, A., Ganesh, V., Guo, P.J., Hooimeijer, P., Ernst, M.D.: HAMPI: a solver for string constraints. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, pp. 105\u2013116. ACM, New York (2009)"},{"issue":"1","key":"29_CR13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A.K. Mackworth","year":"1985","unstructured":"Mackworth, A.K., Freuder, E.C.: The complexity of some polynomial network consistency algorithms for constraint satisfaction problems. Artif. Intell.\u00a025(1), 65\u201374 (1985)","journal-title":"Artif. Intell."},{"key":"29_CR14","unstructured":"Marinov, D., Khurshid, S.: TestEra: A novel framework for automated testing of Java programs. In: Proceedings of the 16th IEEE International Conference on Automated Software Engineering, ASE 2001 (2001)"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/978-3-642-11811-1_33","volume-title":"Abstract State Machines, Alloy, B and Z","author":"N. Rosner","year":"2010","unstructured":"Rosner, N., Galeotti, J.P., Lopez Pombo, C.G., Frias, M.F.: ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models. In: Frappier, M., Gl\u00e4sser, U., Khurshid, S., Laleau, R., Reeves, S. (eds.) ABZ 2010. LNCS, vol.\u00a05977, pp. 396\u2013397. Springer, Heidelberg (2010)"},{"key":"29_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"E. Torlak","year":"2007","unstructured":"Torlak, E., Jackson, D.: Kodkod: A Relational Model Finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol.\u00a04424, pp. 632\u2013647. Springer, Heidelberg (2007)"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-540-68237-0_22","volume-title":"FM 2008: Formal Methods","author":"E. Uzuncaova","year":"2008","unstructured":"Uzuncaova, E., Khurshid, S.: Constraint Prioritization for Efficient Analysis of Declarative Models. In: Cuellar, J., Sere, K. (eds.) FM 2008. LNCS, vol.\u00a05014, pp. 310\u2013325. Springer, Heidelberg (2008)"},{"issue":"3","key":"29_CR18","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1109\/TSE.2010.30","volume":"36","author":"E. Uzuncaova","year":"2010","unstructured":"Uzuncaova, E., Khurshid, S., Batory, D.S.: Incremental test generation for software product lines. IEEE Trans. Software Eng.\u00a036(3), 309\u2013322 (2010)","journal-title":"IEEE Trans. Software Eng."},{"key":"29_CR19","series-title":"History of Computing","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/978-1-84882-912-1_17","volume-title":"Reflections on the Work of C.A.R. Hoare","author":"J. Woodcock","year":"2010","unstructured":"Woodcock, J., Aydal, E.G., Chapman, R.: The Tokeneer experiments. In: Roscoe, A., Jones, C.B., Wood, K.R. (eds.) Reflections on the Work of C.A.R. Hoare. History of Computing, pp. 405\u2013430. Springer, London (2010)"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34281-3_29.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:50:52Z","timestamp":1620132652000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34281-3_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642342806","9783642342813"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34281-3_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}