A. Abbaspour, S. Hansson, H. Sundmark, D. Eldh, and S. , Towards Classification of Concurrency Bugs Based on Observable Properties, Workshop on Complex faUlts and Failures in LargE Software Systems (COUFLESS), 2015.

F. Alisherov and F. Sattarova, Methodology for penetration testing, International Journal of Grid and Distributed Computing. Citeseer, 2009.

B. Badban, M. Fränzle, J. Peleska, and T. Teige, Test automation for hybrid systems, Proceedings of the 3rd international workshop on Software quality assurance , SOQUA '06, pp.14-21, 2006.
DOI : 10.1145/1188895.1188902
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.483.9648

A. Bertolino, Software testing research: Achievements, challenges, dreams. In: Future of Software Engineering, pp.85-103, 2007.
DOI : 10.1109/fose.2007.25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.91.2507

M. Bozkurt, M. Harman, and Y. Hassoun, Testing web services: A survey, 2010.

R. Cardell-oliver, Conformance Tests for Real-Time Systems with Timed Automata Specifications, Formal Aspects of Computing, vol.12, issue.5, pp.350-371, 2000.
DOI : 10.1007/s001650070009

A. E. Goodloe and L. Pike, Monitoring distributed real-time systems: A survey and future directions, Tech. rep, 2010.

S. K. Gupta, T. Mukherjee, G. Varsamopoulos, and A. Banerjee, Research directions in energy-sustainable cyber???physical systems, Sustainable Computing: Informatics and Systems, vol.1, issue.1, pp.57-74, 2011.
DOI : 10.1016/j.suscom.2010.10.003

J. He, Y. Geng, Y. Wan, S. Li, and K. Pahlavan, A Cyber Physical Test-Bed for Virtualization of RF Access Environment for Body Sensor Network, IEEE Sensors Journal, vol.13, issue.10, pp.3826-3836, 2013.
DOI : 10.1109/JSEN.2013.2271721

H. M. Huang, T. Tidwell, C. Gill, C. Lu, X. Gao et al., Cyber-physical systems for real-time hybrid structural testing, Proceedings of the 1st ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS '10, pp.69-78, 2010.
DOI : 10.1145/1795194.1795205

K. Incki, I. Ar, and H. Sözer, A Survey of Software Testing in the Cloud, 2012 IEEE Sixth International Conference on Software Security and Reliability Companion, pp.18-23, 2012.
DOI : 10.1109/SERE-C.2012.32

A. Kane, T. Fuhrman, and P. Koopman, Monitor Based Oracles for Cyber-Physical System Testing, Dependable Systems and Networks, 2014.
DOI : 10.1109/dsn.2014.28
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.462.6270

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/s10703-009-0065-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.332.7098

J. Lee, S. Kang, and D. Lee, A survey on software product line testing, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.31-40, 2012.
DOI : 10.1145/2362536.2362545

M. H. Lee, C. J. Yoo, and O. B. Jang, Embedded system software testing based on SOA for mobile service, Journal of Advanced Science and Technology, vol.1, issue.1, 2008.

Y. F. Li, P. K. Das, and D. L. Dowe, Two decades of Web application testing???A survey of recent advances, Information Systems, vol.43, pp.20-54, 2014.
DOI : 10.1016/j.is.2014.02.001

J. H. Lim, S. H. Song, J. R. Son, T. Y. Kuc, H. S. Park et al., An automated test method for robot platform and its components, International Journal of Software Engineering and Its Applications, vol.4, issue.3, pp.9-18, 2010.

D. Mandrioli, S. Morasca, and A. Morzenti, Generating test cases for real-time systems from logic specifications, ACM Transactions on Computer Systems, vol.13, issue.4, 1995.
DOI : 10.1145/210223.210226

S. Mathur and S. Malik, Advancements in the V-Model, International Journal of Computer Applications, vol.1, issue.12, 2010.
DOI : 10.5120/266-425

R. R. Rajkumar, I. Lee, L. Sha, and J. Stankovic, Cyber-physical systems, Proceedings of the 47th Design Automation Conference on, DAC '10, pp.731-736, 2010.
DOI : 10.1145/1837274.1837461

L. Sha, S. Gopalakrishnan, X. Liu, and Q. Wang, Cyber-Physical Systems: A New Frontier, IEEE International Conference on Sensor Networks, Ubiquitous and Trustworthy Computing SUTC '08, pp.1-9, 2008.
DOI : 10.1007/978-0-387-88735-7_1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.158.6919

L. C. Silva, M. Perkusich, F. M. Bublitz, H. O. Almeida, and A. Perkusich, A Modelbased Architecture for Testing Medical Cyber-physical Systems, 29th Annual ACM Symposium on Applied Computing, pp.25-30, 2014.
DOI : 10.1145/2554850.2555028

P. R. Srivastava and T. Kim, Application of genetic algorithm in software testing, Journal of software Engineering and its Applications, vol.3, issue.4, pp.87-96, 2009.

A. Tevanlinna, J. Taina, and R. Kauppinen, Product family testing, ACM SIGSOFT Software Engineering Notes, vol.29, issue.2, pp.12-12, 2004.
DOI : 10.1145/979743.979766

T. Tidwell, X. Gao, H. M. Huang, C. Lu, S. Dyke et al., Towards Configurable Real-Time Hybrid Structural Testing: A Cyber-Physical System Approach, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, pp.37-44, 2009.
DOI : 10.1109/ISORC.2009.41

M. Woehrle, K. Lampka, and L. Thiele, Conformance testing for cyber-physical systems, ACM Transactions on Embedded Computing Systems, vol.11, issue.4, p.84, 2012.
DOI : 10.1145/2362336.2362351

L. Zhang, J. He, and W. Yu, Test Case Generation from Formal Models of Cyber Physical System, Journal of Hybrid Information Technology, vol.6, issue.3, 2013.