Abstract
The goal of the RERS Grey-Box Challenge is to evaluate the effectiveness of various verification and validation approaches on Event-Condition-Action (ECA) systems, which form a specific class of systems that are important for industrial applications. We would like to bring together researchers from all areas of software verification and validation, including theorem proving, model checking, program analysis, symbolic execution, and testing, and discuss the specific strengths and weaknesses of the different technologies.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Almeida, E.E.: Event-Condition-Action Systems for Reconfigurable Logic Control. IEEE Transactions on Automation Science and Engineering 4(2), 167–181 (2007)
Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Information and Computation 75(2), 87–106 (1987)
Balint, A., Belov, A., Järvisalo, M., Sinz, C.: SAT Challenge 2012. In: SAT (2012), http://baldur.iti.kit.edu/SAT-Challenge-2012/index.html
Benatallah, B., Sheng, Q.Z., Dumas, M.: The Self-Serv Environment for Web Services Composition. IEEE Internet Computing 7(1), 40–48 (2003)
Beyer, D.: Competition on Software Verification (SV-COMP). In: Flanagan, C., König, B. (eds.) TACAS 2012. LNCS, vol. 7214, pp. 504–524. Springer, Heidelberg (2012), http://sv-comp.sosy-lab.org/
Bianco, A., de Alfaro, L.: Model Checking of Probabilistic and Nondeterministic Systems. In: Thiagarajan, P.S. (ed.) FSTTCS 1995. LNCS, vol. 1026, pp. 499–513. Springer, Heidelberg (1995)
Biere, A., Heljanko, K., Seidl, M., Wieringa, S.: HWMCC 2012. In: FMCAD (2012), http://fmv.jku.at/hwmcc12/
Boyer, J., Mili, H.: IBM WebSphere ILOG JRules. In: Agile Business Rule Development, pp. 215–242. Springer (2011)
Browne, P.: JBoss Drools Business Rules. Packt Publishing, Birmingham (2009)
Broy, M., Jonsson, B., Katoen, J.-P., Leucker, M., Pretschner, A. (eds.): Model-Based Testing of Reactive Systems. LNCS, vol. 3472. Springer, Heidelberg (2005)
Bruttomesso, R., Cok, D., Griggio, A.: SMT-COMP 2012. In: IJCAR (2012), http://smtcomp.sourceforge.net/2012/
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press (2001)
Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite-State Verification. In: Boehm, B.W., Garlan, D., Kramer, J. (eds.) ICSE, pp. 411–420. ACM (1999)
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering 27(2), 99–123 (2001)
Havelund, K., Roşu, G.: Monitoring Java Programs with Java PathExplorer. Electronic Notes in Theoretical Computer Science 55(2), 200–217 (2001); RV 2001, Runtime Verification (in connection with CAV 2001)
Hayes-Roth, F.: Rule-Based Systems. Commun. ACM 28(9), 921–932 (1985)
Holzmann, G.J., Smith, M.H.: Software Model Checking: Extracting Verification Models from Source Code. Software Testing, Verification and Reliability 11(2), 65–79 (2001)
King, J.C.: Symbolic Execution and Program Testing. Commun. ACM 19(7), 385–394 (1976)
Leucker, M., Schallhart, C.: A Brief Account of Runtime Verification. Journal of Logic and Algebraic Programming 78(5), 293–303 (2009)
McCarthy, D., Dayal, U.: The Architecture of an Active Database Management System. In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, SIGMOD 1989, pp. 215–224. ACM, New York (1989)
Narizzano, M.: QBFEVAL (2012), http://www.qbflib.org/index_eval.php
Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc., Secaucus (1999)
Steffen, B., Howar, F., Merten, M.: Introduction to Active Automata Learning from a Practical Perspective. In: Bernardo, M., Issarny, V. (eds.) SFM 2011. LNCS, vol. 6659, pp. 256–296. Springer, Heidelberg (2011)
Sutcliffe, G., Suttner, C.: The State of CASC. AI Communications 19(1), 35–48 (2006), http://www.cs.miami.edu/~tptp/CASC/
Vaquero, T.S., Fratini, S.: ICKEPS – International Competition on Knowledge Engineering for Planning and Scheduling. In: ICAPS (2012), http://icaps12.poli.usp.br/icaps12/ickeps
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D. (2012). The RERS Grey-Box Challenge 2012: Analysis of Event-Condition-Action Systems. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2012. Lecture Notes in Computer Science, vol 7609. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34026-0_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-34026-0_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34025-3
Online ISBN: 978-3-642-34026-0
eBook Packages: Computer ScienceComputer Science (R0)