乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T03:44:38Z","timestamp":1725853478443},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662496732"},{"type":"electronic","value":"9783662496749"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49674-9_44","type":"book-chapter","created":{"date-parts":[[2016,4,8]],"date-time":"2016-04-08T18:49:00Z","timestamp":1460141340000},"page":"680-697","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":11,"title":["Partial Order Reduction for Event-Driven Multi-threaded Programs"],"prefix":"10.1007","author":[{"given":"Pallavi","family":"Maiya","sequence":"first","affiliation":[]},{"given":"Rahul","family":"Gupta","sequence":"additional","affiliation":[]},{"given":"Aditya","family":"Kanade","sequence":"additional","affiliation":[]},{"given":"Rupak","family":"Majumdar","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"44_CR1","unstructured":"Google Play. \n https:\/\/play.google.com\/store\/apps"},{"key":"44_CR2","unstructured":"Grand Central Dispatch. \n https:\/\/developer.apple.com\/library\/ios\/documentation\/Performance\/Reference\/GCD_libdispatch_Ref"},{"key":"44_CR3","unstructured":"Java AWT EventQueue. \n http:\/\/docs.oracle.com\/javase\/7\/docs\/api\/java\/awt\/EventQueue.html"},{"key":"44_CR4","unstructured":"TinyOS. \n http:\/\/www.tinyos.net"},{"key":"44_CR5","doi-asserted-by":"crossref","unstructured":"Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: POPL, pp. 373\u2013384. ACM (2014)","DOI":"10.1145\/2535838.2535845"},{"key":"44_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-3-662-46681-0_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"PA Abdulla","year":"2015","unstructured":"Abdulla, P.A., Aronis, S., Atig, M.F., Jonsson, B., Leonardsson, C., Sagonas, K.: Stateless model checking for TSO and PSO. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 353\u2013367. Springer, Heidelberg (2015)"},{"key":"44_CR7","doi-asserted-by":"crossref","unstructured":"Bielik, P., Raychev, V., Vechev, M.T.: Scalable race detection for android applications. In: OOPSLA, pp. 332\u2013348. ACM (2015)","DOI":"10.1145\/2858965.2814303"},{"issue":"3","key":"44_CR8","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/s100090050035","volume":"2","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Minea, M., Peled, D.: State space reduction using partial order techniques. STTT 2(3), 279\u2013287 (1999)","journal-title":"STTT"},{"key":"44_CR9","doi-asserted-by":"crossref","unstructured":"Emmi, M., Lal, A., Qadeer, S.: Asynchronous programs with prioritized task-buffers. In: SIGSOFT FSE, pp. 48:1\u201348:11. ACM (2012)","DOI":"10.1145\/2393596.2393652"},{"key":"44_CR10","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Godefroid, P.: Dynamic partial-order reduction for model checking software. In: POPL, pp. 110\u2013121. ACM (2005)","DOI":"10.1145\/1047659.1040315"},{"key":"44_CR11","series-title":"Lecture Notes in Computer Science","volume-title":"Partial-Order Methods for the Verification of Concurrent Systems","year":"1996","unstructured":"Godefroid, P. (ed.): Partial-Order Methods for the Verification of Concurrent Systems. LNCS, vol. 1032. Springer, Heidelberg (1996)"},{"key":"44_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using Verisoft. In: POPL, pp. 174\u2013186. ACM Press (1997)","DOI":"10.1145\/263699.263717"},{"issue":"2","key":"44_CR13","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/s10703-005-1489-x","volume":"26","author":"P Godefroid","year":"2005","unstructured":"Godefroid, P.: Software model checking: The verisoft approach. Formal Methods Syst. Des. 26(2), 77\u2013101 (2005)","journal-title":"Formal Methods Syst. Des."},{"key":"44_CR14","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"G Holzmann","year":"2004","unstructured":"Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Reading (2004)"},{"key":"44_CR15","doi-asserted-by":"crossref","unstructured":"Hsiao, C.H., Yu, J., Narayanasamy, S., Kong, Z., Pereira, C.L., Pokam, G.A., Chen, P.M., Flinn, J.: Race Detection for Event-driven Mobile Applications. In: PLDI, pp. 326\u2013336. ACM (2014)","DOI":"10.1145\/2666356.2594330"},{"key":"44_CR16","doi-asserted-by":"crossref","unstructured":"Jensen, C.S., M\u00f8ller, A., Raychev, V., Dimitrov, D., Vechev, M.T.: Stateless model checking of event-driven applications. In: OOPSLA, pp. 57\u201373. ACM (2015)","DOI":"10.1145\/2858965.2814282"},{"key":"44_CR17","doi-asserted-by":"crossref","unstructured":"Lauterburg, S., Dotta, M., Marinov, D., Agha, G.A.: A framework for state-space exploration of java-based actor programs. In: ASE, pp. 468\u2013479. IEEE Computer Society (2009)","DOI":"10.1109\/ASE.2009.88"},{"key":"44_CR18","unstructured":"Maiya, P., Gupta, R., Kanade, A., Majumdar, R.: A partial order reduction technique for event-driven multi-threaded programs. CoRR abs\/1511.03213 (2015)"},{"key":"44_CR19","doi-asserted-by":"crossref","unstructured":"Maiya, P., Kanade, A., Majumdar, R.: Race detection for Android applications. In: PLDI, pp. 316\u2013325. ACM (2014)","DOI":"10.1145\/2666356.2594311"},{"key":"44_CR20","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Parallel and Distributed Algorithms, pp. 215\u2013226. Elsevier (1989)"},{"key":"44_CR21","series-title":"LNCS","first-page":"279","volume-title":"Advances in Petri Nets 1986","author":"AW Mazurkiewicz","year":"1986","unstructured":"Mazurkiewicz, A.W.: Trace theory. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986. LNCS, vol. 255, pp. 279\u2013324. Springer, Heidelberg (1986)"},{"key":"44_CR22","unstructured":"Mednieks, Z., Dornin, L., Meike, G.B., Nakamura, M.: Programming Android. O\u2019Reilly Media, Inc. (2012)"},{"key":"44_CR23","unstructured":"van der Merwe, H.: Verification of android applications. In: ICSE, vol. 2, pp. 931\u2013934. IEEE (2015)"},{"issue":"6","key":"44_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2382756.2382797","volume":"37","author":"H Merwe van der","year":"2012","unstructured":"van der Merwe, H., van der Merwe, B., Visser, W.: Verifying android applications using Java PathFinder. ACM SIGSOFT Softw. Eng. Not. 37(6), 1\u20135 (2012)","journal-title":"ACM SIGSOFT Softw. Eng. Not."},{"key":"44_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1007\/978-3-319-21690-4_28","volume-title":"Computer Aided Verification","author":"BK Ozkan","year":"2015","unstructured":"Ozkan, B.K., Emmi, M., Tasiran, S.: Systematic asynchrony bug exploration for android apps. In: Kroening, D., P\u0103s\u0103reanu, C.S. (eds.) CAV 2015. LNCS, vol. 9206, pp. 455\u2013461. Springer, Heidelberg (2015)"},{"key":"44_CR26","doi-asserted-by":"crossref","unstructured":"Palmer, R., Gopalakrishnan, G., Kirby, R.M.: Semantics driven dynamic partial-order reduction of MPI-based Parallel Programs. In: PADTAD, pp. 43\u201353. ACM (2007)","DOI":"10.1145\/1273647.1273657"},{"key":"44_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/3-540-56922-7_34","volume-title":"Computer Aided Verification","author":"D Peled","year":"1993","unstructured":"Peled, D.: All from one, one for all: on model checking using representatives. In: Courcoubetis, C. (ed.) CAV 1993. LNCS, vol. 697, pp. 409\u2013423. Springer, Heidelberg (1993)"},{"key":"44_CR28","unstructured":"Rodr\u00edguez, C., Sousa, M., Sharma, S., Kroening, D.: Unfolding-based partial order reduction. In: CONCUR. LIPIcs, vol. 42, pp. 456\u2013469. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2015)"},{"key":"44_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/11693017_25","volume-title":"Fundamental Approaches to Software Engineering","author":"K Sen","year":"2006","unstructured":"Sen, K., Agha, G.: Automated systematic testing of open distributed programs. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 339\u2013356. Springer, Heidelberg (2006)"},{"key":"44_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/11817963_29","volume-title":"Computer Aided Verification","author":"K Sen","year":"2006","unstructured":"Sen, K., Viswanathan, M.: Model checking multithreaded programs with asynchronous atomic methods. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 300\u2013314. Springer, Heidelberg (2006)"},{"key":"44_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-30793-5_14","volume-title":"Formal Techniques for Distributed Systems","author":"S Tasharofi","year":"2012","unstructured":"Tasharofi, S., Karmani, R.K., Lauterburg, S., Legay, A., Marinov, D., Agha, G.: TransDPOR: a novel dynamic partial-order reduction technique for testing actor programs. In: Giese, H., Rosu, G. (eds.) FMOODS\/FORTE 2012. LNCS, vol. 7273, pp. 219\u2013234. Springer, Heidelberg (2012)"},{"key":"44_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/3-540-53863-1_36","volume-title":"Advances in Petri Nets 1990","author":"A Valmari","year":"1991","unstructured":"Valmari, A.: Stubborn sets for reduced state space generation. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 491\u2013515. Springer, Heidelberg (1991)"},{"key":"44_CR33","doi-asserted-by":"crossref","unstructured":"Zhang, N., Kusano, M., Wang, C.: Dynamic partial order reduction for relaxed memory models. In: PLDI, pp. 250\u2013259. ACM (2015)","DOI":"10.1145\/2813885.2737956"}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49674-9_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,24]],"date-time":"2020-03-24T01:16:09Z","timestamp":1585012569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49674-9_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496732","9783662496749"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49674-9_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}