Skip to main content
SpringerLink
Log in

Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems

  • Conference paper
  • First Online:
Enterprise Information Systems (ICEIS 2019)

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 378))

Included in the following conference series:

Abstract

In this paper, we deal with two validation techniques which may be adopted for improving the quality and ensuring the correctness of Distributed Information Systems. These two techniques are Formal Verification and Model Based Techniques. The first one consists in checking the correctness of a mathematical model used to describe the behavior of the considered system before its implementation. The second technique consists in deriving tests suites from the adopted model, executing them and finally deducing verdicts about the correctness of this system under test. In both cases, we need to tackle the explosion state challenge which corresponds to the fact of reaching a very large space of states and consuming a very long time during the validation process. To solve this problem we propose a set of appropriate techniques taken from the literature. We also identify a set of techniques which may be used for the optimization of the test component placement procedure.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126, 183–235 (1994)

    Article  MathSciNet  Google Scholar 

  2. Andraus, Z.S., Sakallah, K.A.: Automatic abstraction and verification of verilog models. In: Proceedings of the 41st Annual Design Automation Conference. pp. 218–223. DAC 2004, ACM, New York, NY, USA (2004). https://doi.org/10.1145/996566.996629

  3. Arkian, H.R., Diyanat, A., Pourkhalili, A.: Mist: fog-based data analytics scheme with cost-efficient resource provisioning for iot crowdsensing applications. J. Netw. Comput. Appl. 82, 152–165 (2017). https://doi.org/10.1016/j.jnca.2017.01.012. http://www.sciencedirect.com/science/article/pii/S1084804517300188

    Article  Google Scholar 

  4. Barcelo, M., Correa, A., Llorca, J., Tulino, A.M., Vicario, J.L., Morell, A.: Iot-cloud service optimization in next generation smart environments. IEEE J. Sel. Areas Commun. 34(12), 4077–4090 (2016). https://doi.org/10.1109/JSAC.2016.2621398

    Article  Google Scholar 

  5. Benalycherif, L., McIsaac, A.: A semantic condition for data independence and applications in hardware verification. Electron. Notes Theor. Comput. Sci. 250(1), 39–54 (2009). https://doi.org/10.1016/j.entcs.2009.08.004. http://www.sciencedirect.com/science/article/pii/S1571066109003296. Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS 2007)

    Article  MATH  Google Scholar 

  6. Bensalem, S., Krichen, M., Majdoub, L., Robbana, R., Tripakis, S.: A simplified approach for testing real-time systems based on action refinement. In: ISoLA. Revue des Nouvelles Technologies de l’Information, vol. RNTI-SM-1, pp. 191–202. Cépaduès-Éditions (2007)

    Google Scholar 

  7. Bertot, Y., Castran, P.: Interactive Theorem Proving and Program Development: Coq’Art The Calculus of Inductive Constructions, 1st edn. Springer, Incorporated (2010)

    Google Scholar 

  8. Bertrand, N., Jéron, T., Stainer, A., Krichen, M.: Off-line test selection with test purposes for non-deterministic timed automata. In: Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011, Proceedings. pp. 96–111 (2011). https://doi.org/10.1007/978-3-642-19835-9_10

    Chapter  Google Scholar 

  9. Bertrand, N., Jéron, T., Stainer, A., Krichen, M.: Off-line test selection with test purposes for non-deterministic timed automata. Logical Meth. Comput. Sci. 8(4), 1–33 (2012)

    Article  MathSciNet  Google Scholar 

  10. Bertrand, N., Stainer, A., Jéron, T., Krichen, M.: A game approach to determinize timed automata. In: Hofmann, M. (ed.) FoSSaCS 2011. LNCS, vol. 6604, pp. 245–259. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-19805-2_17

    Chapter  Google Scholar 

  11. Bertrand, N., Stainer, A., Jéron, T., Krichen, M.: A game approach to determinize timed automata. Formal Meth. Syst. Des. 46(1), 42–80 (2015)

    Article  Google Scholar 

  12. Bornot, S., Sifakis, J., Tripakis, S.: Modeling urgency in timed systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol. 1536, pp. 103–129. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-49213-5_5

    Chapter  Google Scholar 

  13. Brogi, A., Forti, S.: Qos-aware deployment of iot applications through the fog. IEEE Internet of Things J. 4(5), 1185–1192 (2017). https://doi.org/10.1109/JIOT.2017.2701408

    Article  Google Scholar 

  14. Lee, C.-C., Jiang, J.R., Huang, C.-Y., Mishchenko, A.: Scalable exploration of functional dependency by interpolation and incremental sat solving. In: 2007 IEEE/ACM International Conference on Computer-Aided Design, pp. 227–233, November 2007. https://doi.org/10.1109/ICCAD.2007.4397270

  15. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Kozen, D. (ed.) Logic of Programs 1981. LNCS, vol. 131, pp. 52–71. Springer, Heidelberg (1982). https://doi.org/10.1007/BFb0025774

    Chapter  Google Scholar 

  16. Emerson, E.A., Wahl, T.: Dynamic symmetry reduction. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 382–396. Springer, Heidelberg (2005). https://doi.org/10.1007/978-3-540-31980-1_25

    Chapter  Google Scholar 

  17. Filiposka, S., Mishev, A., Gilly, K.: Community-based allocation and migration strategies for fog computing. In: 2018 IEEE Wireless Communications and Networking Conference (WCNC), pp. 1–6, April 2018. https://doi.org/10.1109/WCNC.2018.8377095

  18. Gordon, M.J.C., Melham, T.F. (eds.): Introduction to HOL: A Theorem Proving Environment for Higher Order Logic. Cambridge University Press, New York (1993)

    MATH  Google Scholar 

  19. Grusho, A.A., Grusho, N.A., Timonina, E.E.: Information security architecture synthesis in distributed information computation systems. Autom. Control Comput. Sci. 51(8), 799–804 (2017). https://doi.org/10.3103/S0146411617080089

    Article  MATH  Google Scholar 

  20. Gu, L., Zeng, D., Guo, S., Barnawi, A., Xiang, Y.: Cost efficient resource management in fog computing supported medical cyber-physical system. IEEE Trans. Emerg. Topics Comput. 5(1), 108–119 (2017). https://doi.org/10.1109/TETC.2015.2508382

    Article  Google Scholar 

  21. Guerrero, C., Lera, I., Juiz, C.: A lightweight decentralized service placement policy for performance optimization in fog computing. J. Ambient Intell. Humanized Comput. 10(6), 2435–2452 (2019). https://doi.org/10.1007/s12652-018-0914-0

    Article  Google Scholar 

  22. Gupta, H., Dastjerdi, A.V., Ghosh, S.K., Buyya, R.: ifogsim: a toolkit for modeling and simulation of resource management techniques in the internet of things, edge and fog computing environments. Softw. Pract. Exper. 47(9), 1275–1296 (2017). https://doi.org/10.1002/spe.2509

    Article  Google Scholar 

  23. Hessel, A., Larsen, K., Nielsen, B., Pettersson, P., Skou, A.: Time-optimal real-time test case generation using UPPAAL. In: FATES 2003 (2003)

    Google Scholar 

  24. Hu, A.J., Dill, D.L.: Reducing BDD size by exploiting functional dependencies. In: 30th ACM/IEEE Design Automation Conference. pp. 266–271, June 1993. https://doi.org/10.1145/157485.164888

  25. Huang, Z., Lin, K.J., Yu, S.Y., Jen Hsu, J.Y.: Co-locating services in iot systems to minimize the communication energy cost. J. Innov. Digital Ecosyst. 1(1), 47–57 (2014). https://doi.org/10.1016/j.jides.2015.02.005

    Article  Google Scholar 

  26. Iosif, R.: Symmetry reduction criteria for software model checking. In: Bošnački, D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, pp. 22–41. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-46017-9_5

    Chapter  MATH  Google Scholar 

  27. Norris Ip, C.: Generalized reversible rules. In: Gopalakrishnan, G., Windley, P. (eds.) FMCAD 1998. LNCS, vol. 1522, pp. 403–419. Springer, Heidelberg (1998). https://doi.org/10.1007/3-540-49519-3_26

    Chapter  Google Scholar 

  28. Ip, C.N., Dill, D.L.: State reduction using reversible rules. In: Proceedings of the 33st Conference on Design Automation, Las Vegas, Nevada, USA, Las Vegas Convention Center, June 3–7, 1996, pp. 564–567 (1996). https://doi.org/10.1145/240518.240625

  29. Jiang, J.-H.R., Brayton, R.K.: Functional dependency for verification reduction. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 268–280. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-27813-9_21

    Chapter  MATH  Google Scholar 

  30. Krichen, M.: A formal framework for black-box conformance testing of distributed real-time systems. IJCCBS 3(1/2), 26–43 (2012). https://doi.org/10.1504/IJCCBS.2012.045075

    Article  Google Scholar 

  31. Krichen, M., Tripakis, S.: Black-box conformance testing for real-time systems. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 109–126. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24732-6_8

    Chapter  Google Scholar 

  32. Krichen, M., Tripakis, S.: State identification problems for finite-state transducers. Technical report TR-2005-5, Verimag, February 2005

    Google Scholar 

  33. Krichen, M., Tripakis, S.: The epistemology of validation and verification testing. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 1–8. Springer, Heidelberg (2005). https://doi.org/10.1007/11430230_1

    Chapter  Google Scholar 

  34. Krichen, M., Tripakis, S.: Interesting properties of the conformance relation tioco. In: ICTAC 2006 (2006)

    Google Scholar 

  35. Krichen, M., Tripakis, S.: State-identification problems for finite-state transducers. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) FATES/RV -2006. LNCS, vol. 4262, pp. 148–162. Springer, Heidelberg (2006). https://doi.org/10.1007/11940197_10

    Chapter  Google Scholar 

  36. Krichen, M., Tripakis, S.: Conformance testing for real-time systems. Formal Meth. Syst. Des. 34(3), 238–304 (2009)

    Article  Google Scholar 

  37. Krichen, M.: Model-Based Testing for Real-Time Systems. Ph.D. thesis, PhD thesis, University Joseph Fourier, December 2007 (2007)

    Google Scholar 

  38. Krichen, M., Alroobaea, R., Lahami, M.: Towards a runtime standard-based testing framework for dynamic distributed information systems. In: Proceedings of the 21st International Conference on Enterprise Information Systems, ICEIS 2019, Heraklion, Crete, Greece, May 3–5, 2019, vol. 1, pp. 121–129 (2019). https://doi.org/10.5220/0007772101210129

  39. Krichen, M., Maâlej, A.J., Lahami, M.: A model-based approach to combine conformance and load tests: an ehealth case study. IJCCBS 8(3/4), 282–310 (2018). https://doi.org/10.1504/IJCCBS.2018.096437

    Article  Google Scholar 

  40. Kripke, S.A.: Semantical considerations on modal logic. Acta Philos. Fennica 16(1963), 83–94 (1963)

    MathSciNet  MATH  Google Scholar 

  41. Kwiatkowska, M., Norman, G., Parker, D.: Symmetry reduction for probabilistic model checking. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol. 4144, pp. 234–248. Springer, Heidelberg (2006). https://doi.org/10.1007/11817963_23

    Chapter  Google Scholar 

  42. Lahami, M., Krichen, M., Jmaïel, M.: Safe and efficient runtime testing framework applied in dynamic and distributed systems. Sci. Comput. Program. (SCP) 122(C), 1–28 (2016)

    Google Scholar 

  43. Lahami, M., Fakhfakh, F., Krichen, M., Jmaïel, M.: Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems. In: Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS 2012), pp. 71–86 (2012)

    Chapter  Google Scholar 

  44. Lahami, M., Krichen, M., Barhoumi, H., Jmaiel, M.: Selective test generation approach for testing dynamic behavioral adaptations. In: Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23–25, 2015, Proceedings. pp. 224–239 (2015). https://doi.org/10.1007/978-3-319-25945-1_14

    Chapter  Google Scholar 

  45. Lahami, M., Krichen, M., Bouchakwa, M., Jmaïel, M.: Using knapsack problem model to design a resource aware test architecture for adaptable and distributed systems. In: Proceedings of the 24th IFIP WG 6.1 International Conference Testing Software and Systems (ICTSS 2012), pp. 103–118 (2012)

    Chapter  Google Scholar 

  46. Maâlej, A.J., Hamza, M., Krichen, M., Jmaiel, M.: Automated significant load testing for WS-BPEL compositions. In: Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18–22, 2013, pp. 144–153 (2013). https://doi.org/10.1109/ICSTW.2013.25

  47. Maâlej, A.J., Krichen, M.: A model based approach to combine load and functional tests for service oriented architectures. In: VECoS, pp. 123–140 (2016)

    Google Scholar 

  48. Maâlej, A.J., Krichen, M., Jmaiel, M.: Conformance testing of WS-BPEL compositions under various load conditions. In: 36th Annual IEEE Computer Software and Applications Conference, COMPSAC 2012, Izmir, Turkey, July 16–20, 2012, p. 371 (2012). https://doi.org/10.1109/COMPSAC.2012.100

  49. Maâlej, A.J., Krichen, M., Jmaiel, M.: Model-based conformance testing of WS-BPEL compositions. In: 36th Annual IEEE Computer Software and Applications Conference Workshops, COMPSAC 2012, Izmir, Turkey, July 16–20, 2012, pp. 452–457 (2012). https://doi.org/10.1109/COMPSACW.2012.86

  50. Maâlej, A.J., Lahami, M., Krichen, M., Jmaïel, M.: Distributed and resource-aware load testing of WS-BPEL compositions. In: ICEIS (2). pp. 29–38. SciTePress (2018)

    Google Scholar 

  51. Mahmud, R., Ramamohanarao, K., Buyya, R.: Latency-aware application module management for fog computing environments. ACM Trans. Internet Technol. 19(1), 9:1–9:21 (2018). https://doi.org/10.1145/3186592

    Article  Google Scholar 

  52. Maâlej, A.J., Krichen, M.: Study on the limitations of WS-BPEL compositions under load conditions. Comput. J. 58(3), 385–402 (2015). https://doi.org/10.1093/comjnl/bxu140

    Article  Google Scholar 

  53. Momtahan, L.: Towards a small model theorem for data independent systems in alloy. Electron. Notes Theor. Comput. Sci. 128(6), 37–52 (2005). https://doi.org/10.1016/j.entcs.2005.04.003. http://www.sciencedirect.com/science/article/pii/S1571066105002355. Proceedings of the Fourth International Workshop on Automated Verification of Critical Systems (AVoCS 2004)

    Article  MATH  Google Scholar 

  54. Myers, G.: The Art of Software Testing. Wiley, Hoboken (1979)

    Google Scholar 

  55. Neto, A.C.D., Travassos, G.H.: A picture from the model-based testing area: concepts, techniques, and challenges. Adv. Comput. 80, 45–120 (2010)

    Article  Google Scholar 

  56. Nipkow, T., Wenzel, M., Paulson, L.C. (eds.): Isabelle/HOL–A Proof Assistant for Higher-Order Logic. LNCS, vol. 2283. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45949-9

    Book  MATH  Google Scholar 

  57. Norris, C., Dill, D.L.: Better verification through symmetry. Formal Meth. Syst. Des. 9(1), 41–75 (1996). https://doi.org/10.1007/BF00625968

    Article  Google Scholar 

  58. Ottenwälder, B., Koldehofe, B., Rothermel, K., Ramachandran, U.: Migcep: operator migration for mobility driven distributed complex event processing. In: Proceedings of the 7th ACM International Conference on Distributed Event-based Systems, pp. 183–194. DEBS 2013, ACM, New York, NY, USA (2013). https://doi.org/10.1145/2488222.2488265

  59. Queille, J.P., Sifakis, J.: Specification and verification of concurrent systems in CESAR. In: Dezani-Ciancaglini, M., Montanari, U. (eds.) Programming 1982. LNCS, vol. 137, pp. 337–351. Springer, Heidelberg (1982). https://doi.org/10.1007/3-540-11494-7_22

    Chapter  Google Scholar 

  60. Rahbari, D., Nickray, M.: Scheduling of fog networks with optimized knapsack by symbiotic organisms search. In: 2017 21st Conference of Open Innovations Association (FRUCT), pp. 278–283, November 2017. https://doi.org/10.23919/FRUCT.2017.8250193

  61. Roscoe, A.W., Broadfoot, P.J.: Proving security protocols with model checkers by data independence techniques. J. Comput. Secur. 7(1), 147–190 (1999). http://content.iospress.com/articles/journal-of-computer-security/jcs120

    Article  Google Scholar 

  62. Sifakis, J., Yovine, S.: Compositional specification of timed systems. In: Puech, C., Reischuk, R. (eds.) STACS 1996. LNCS, vol. 1046, pp. 345–359. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-60922-9_29

    Chapter  Google Scholar 

  63. Skarlat, O., Schulte, S., Borkowski, M., Leitner, P.: Resource provisioning for iot services in the fog. In: 2016 IEEE 9th International Conference on Service-Oriented Computing and Applications (SOCA), pp. 32–39, November 2016. https://doi.org/10.1109/SOCA.2016.10

  64. Skarlat, O., Nardelli, M., Schulte, S., Borkowski, M., Leitner, P.: Optimized iot service placement in the fog. Serv. Oriented Comput. Appl. 11(4), 427–443 (2017). https://doi.org/10.1007/s11761-017-0219-8

    Article  Google Scholar 

  65. Souza, V.B., Masip-Bruin, X., Marin-Tordera, E., Ramirez, W., Sanchez, S.: Towards distributed service allocation in fog-to-cloud (f2c) scenarios. In: 2016 IEEE Global Communications Conference (GLOBECOM), pp. 1–6, December 2016. https://doi.org/10.1109/GLOCOM.2016.7842341

  66. Souza, V.B.C., Ramírez, W., Masip-Bruin, X., Marín-Tordera, E., Ren, G., Tashakor, G.: Handling service allocation in combined fog-cloud scenarios. In: 2016 IEEE International Conference on Communications (ICC), pp. 1–5, May 2016. https://doi.org/10.1109/ICC.2016.7511465

  67. Taneja, M., Davy, A.: Resource aware placement of iot application modules in fog-cloud computing paradigm. In: 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), pp. 1222–1228, May 2017. https://doi.org/10.23919/INM.2017.7987464

  68. Tang, Z., Zhou, X., Zhang, F., Jia, W., Zhao, W.: Migration modeling and learning algorithms for containers in fog computing. IEEE Trans. Serv. Comput. p. 1 (2018). https://doi.org/10.1109/TSC.2018.2827070

    Article  Google Scholar 

  69. Thacker, R.A., Jones, K.R., Myers, C.J., Zheng, H.: Automatic abstraction for verification of cyber-physical systems. In: Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, pp. 12–21. ICCPS 2010, ACM, New York, NY, USA (2010). https://doi.org/10.1145/1795194.1795197

  70. Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verif. Reliab. 22(5), 297–312 (2012). https://doi.org/10.1002/stvr.456

    Article  Google Scholar 

  71. Venticinque, S., Amato, A.: A methodology for deployment of iot application in fog. J. Ambient Intell. Humanized Comput. 10(5), 1955–1976 (2019)

    Article  Google Scholar 

  72. Wahl, T., Donaldson, A.: Replication and abstraction: symmetry in automated formal verification. Symmetry 2(2), 799–847 (2010). https://doi.org/10.3390/sym2020799

    Article  MathSciNet  Google Scholar 

  73. Wang, S., Zafer, M., Leung, K.K.: Online placement of multi-component applications in edge computing environments. IEEE Access 5, 2514–2533 (2017). https://doi.org/10.1109/ACCESS.2017.2665971

    Article  Google Scholar 

  74. Wen, Z., Yang, R., Garraghan, P., Lin, T., Xu, J., Rovatsos, M.: Fog orchestration for internet of things services. IEEE Internet Comput. 21(2), 16–24 (2017). https://doi.org/10.1109/MIC.2017.36

    Article  Google Scholar 

  75. Xia, Y., Etchevers, X., Letondeur, L., Coupaye, T., Desprez, F.: Combining hardware nodes and software components ordering-based heuristics for optimizing the placement of distributed iot applications in the fog. In: Proceedings of the 33rd Annual ACM Symposium on Applied Computing, pp. 751–760. SAC 2018, ACM, New York, NY, USA (2018). https://doi.org/10.1145/3167132.3167215

  76. Yang, L., Cao, J., Liang, G., Han, X.: Cost aware service placement and load dispatching in mobile cloud systems. IEEE Trans. Comput. 65(5), 1440–1452 (2016). https://doi.org/10.1109/TC.2015.2435781

    Article  MathSciNet  MATH  Google Scholar 

  77. Yesikov, D., Ivutin, A., Larkin, E., Kotov, V.: Multi-agent approach for distributed information systems reliability prediction. Procedia Comput. Sci. 103, 416–420 (2017). https://doi.org/10.1016/j.procs.2017.01.003. http://www.sciencedirect.com/science/article/pii/S1877050917300042. XII International Symposium Intelligent Systems 2016, INTELS 2016, 5–7 October 2016, Moscow, Russia

    Article  Google Scholar 

  78. Zeng, D., Gu, L., Guo, S., Cheng, Z., Yu, S.: Joint optimization of task scheduling and image placement in fog computing supported software-defined embedded system. IEEE Trans. Comput. 65(12), 3702–3712 (2016). https://doi.org/10.1109/TC.2016.2536019

    Article  MathSciNet  MATH  Google Scholar 

  79. Zhang, H., Xiao, Y., Bu, S., Niyato, D., Yu, F.R., Han, Z.: Computing resource allocation in three-tier iot fog networks: a joint optimization approach combining stackelberg game and matching. IEEE Internet of Things J. 4(5), 1204–1215 (2017). https://doi.org/10.1109/JIOT.2017.2688925

    Article  Google Scholar 

  80. Zhu, H., Belli, F.: Advancing test automation technology to meet the challenges of model-based software testing - guest editors’ introduction to the special section of the third IEEE international workshop on automation of software test (AST 2008). Inf. Softw. Technol. 51(11), 1485–1486 (2009)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Faculty of CSIT, Al-Baha University, Al-Baha, Kingdom of Saudi Arabia

    Moez Krichen

  2. ReDCAD, ENIS, University of Sfax, Sfax, Tunisia

    Moez Krichen

Authors
  1. Moez Krichen
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Moez Krichen .

Editor information

Editors and Affiliations

  1. INSTICC and Polytechnic Institute of Setúbal, Setúbal, Portugal

    Joaquim Filipe

  2. Warsaw University of Technology, Warsaw, Poland

    Michał Śmiałek

  3. George Mason University, Fairfax, VA, USA

    Alexander Brodsky

  4. MODESTE/ESEO, Angers, France

    Slimane Hammoudi

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Krichen, M. (2020). Improving and Optimizing Verification and Testing Techniques for Distributed Information Systems. In: Filipe, J., Śmiałek, M., Brodsky, A., Hammoudi, S. (eds) Enterprise Information Systems. ICEIS 2019. Lecture Notes in Business Information Processing, vol 378. Springer, Cham. https://doi.org/10.1007/978-3-030-40783-4_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-40783-4_22

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-40782-7

  • Online ISBN: 978-3-030-40783-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation