Research in Model-Based Testing and Verification - Revision history

Ceres at 10:53, 14 February 2019

2019-02-14T10:53:16Z

Ceres at 10:49, 14 February 2019

2019-02-14T10:49:24Z

Ceres at 10:46, 14 February 2019

2019-02-14T10:46:44Z

Ceres at 10:44, 14 February 2019

2019-02-14T10:44:03Z

Ceres at 10:41, 14 February 2019

2019-02-14T10:41:00Z

Ceres at 10:23, 14 February 2019

2019-02-14T10:23:42Z

Ceres at 10:22, 14 February 2019

2019-02-14T10:22:43Z

Ceres at 10:03, 12 February 2019

2019-02-12T10:03:29Z

Ceres at 06:55, 15 July 2017

2017-07-15T06:55:54Z

Ceres at 06:55, 15 July 2017

2017-07-15T06:55:32Z

@@ Line 12: / Line 12: @@
 * W. Mostowski. [[media:Mostowski_NWPT2017_JLAMP.pdf|Model-Based Fault Injection for Testing Gray-Box Systems]] Journal of Logical and Algebraic Methods in Programming, NWPT 2017 Special Issue, Elsevier, 2018.
 * M. Varshosaz, H. Beohar, M.R. Mousavi, [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1098731&dswid=7291 Basic behavioral models for software product lines: Revisited], Science of Computer Programming, Volume 168, pages 171-185, Elsevier, 2018.
 * M. Varshosaz, M. Al-Hajjaji, T. Thüm, T. Runge, M.R. Mousavi, I. Schaefer, [http://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2018-SPLC-Varshosaz.pdf A classification of product sampling for software product lines], Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, ACM, 2018.
 * V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017.

← Older revision		Revision as of 10:49, 14 February 2019
Line 10:		Line 10:

	* M. Varshosaz, M.R. Mousavi, [https://link.springer.com/chapter/10.1007/978-3-030-10801-4_38 Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems], International Conference on Current Trends in Theory and Practice of Informatics, pages 490-503, Springer Cham, 2019.		* M. Varshosaz, M.R. Mousavi, [https://link.springer.com/chapter/10.1007/978-3-030-10801-4_38 Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems], International Conference on Current Trends in Theory and Practice of Informatics, pages 490-503, Springer Cham, 2019.
		+
		+	* W. Mostowski. [[media:Mostowski_NWPT2017_JLAMP.pdf\|Model-Based Fault Injection for Testing Gray-Box Systems]] Journal of Logical and Algebraic Methods in Programming, NWPT 2017 Special Issue, Elsevier, 2018.

	* M. Varshosaz, H. Beohar, M.R. Mousavi, [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1098731&dswid=7291 Basic behavioral models for software product lines: Revisited], Science of Computer Programming, Volume 168, pages 171-185, Elsevier, 2018.		* M. Varshosaz, H. Beohar, M.R. Mousavi, [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1098731&dswid=7291 Basic behavioral models for software product lines: Revisited], Science of Computer Programming, Volume 168, pages 171-185, Elsevier, 2018.

← Older revision		Revision as of 10:46, 14 February 2019
Line 8:		Line 8:

	== Selected Publications ==		== Selected Publications ==
		+
		+	* M. Varshosaz, M.R. Mousavi, [https://link.springer.com/chapter/10.1007/978-3-030-10801-4_38 Comparative Expressiveness of Product Line Calculus of Communicating Systems and 1-Selecting Modal Transition Systems], International Conference on Current Trends in Theory and Practice of Informatics, pages 490-503, Springer Cham, 2019.

	* M. Varshosaz, H. Beohar, M.R. Mousavi, [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1098731&dswid=7291 Basic behavioral models for software product lines: Revisited], Science of Computer Programming, Volume 168, pages 171-185, Elsevier, 2018.		* M. Varshosaz, H. Beohar, M.R. Mousavi, [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1098731&dswid=7291 Basic behavioral models for software product lines: Revisited], Science of Computer Programming, Volume 168, pages 171-185, Elsevier, 2018.

← Older revision		Revision as of 10:44, 14 February 2019
Line 8:		Line 8:

	== Selected Publications ==		== Selected Publications ==
		+
		+	* M. Varshosaz, H. Beohar, M.R. Mousavi, [http://www.diva-portal.org/smash/record.jsf?pid=diva2%3A1098731&dswid=7291 Basic behavioral models for software product lines: Revisited], Science of Computer Programming, Volume 168, pages 171-185, Elsevier, 2018.

	* M. Varshosaz, M. Al-Hajjaji, T. Thüm, T. Runge, M.R. Mousavi, I. Schaefer, [http://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2018-SPLC-Varshosaz.pdf A classification of product sampling for software product lines], Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, ACM, 2018.		* M. Varshosaz, M. Al-Hajjaji, T. Thüm, T. Runge, M.R. Mousavi, I. Schaefer, [http://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2018-SPLC-Varshosaz.pdf A classification of product sampling for software product lines], Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, ACM, 2018.

← Older revision		Revision as of 10:41, 14 February 2019
Line 8:		Line 8:

	== Selected Publications ==		== Selected Publications ==
		+
		+	* M. Varshosaz, M. Al-Hajjaji, T. Thüm, T. Runge, M.R. Mousavi, I. Schaefer, [http://www.isf.cs.tu-bs.de/cms/team/thuem/papers/2018-SPLC-Varshosaz.pdf A classification of product sampling for software product lines], Proceeedings of the 22nd International Conference on Systems and Software Product Line-Volume 1, ACM, 2018.

	* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017.		* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017.

@@ Line 5: / Line 5: @@
 A promising solution to testing issues lies in automated Model-Based Testing (MBT) processes, which provide a structured approach to testing from high-level behavioral models. Our vision is that MBT is instrumental in mechanizing and integrating the test process in the development cycle. Moreover, embedded software is particularly suitable for MBT, because operational (behavioral and reactive) aspects play a prominent role in its correctness. Our research agenda is to provide practical industrial strength MBT solutions, that can deal, in particular, with modern embedded systems.
 == Selected Publications ==
@@ Line 31: / Line 32: @@
 * H.R. Asaadi, R. Khosravi, M.R. Mousavi, and N. Noroozi. [[media:mousavi_fmco_2011a_extended.pdf|Towards Model-Based Testing of Electronic Funds Transfer Systems]]. Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), volume 7141 of Lecture Notes in Computer Science, Springer, 2012.
 == Current Group Members ==
@@ Line 46: / Line 48: @@
 * [https://uspdigital.usp.br/tycho/CurriculoLattesMostrar?codpub=D7A387F1613D Dr. Adenilso Simão], University of São Paulo, Brasil
 * [http://www.win.tue.nl/~timw/ Dr. Tim Willemse], Eindhoven University of Technology, The Netherlands
 == Past Members and Associates ==

@@ Line 2: / Line 2: @@
 Testing and debugging account for more than half of the software development costs and are becoming serious bottlenecks in the software development process.
-The problem is intensified in embedded systems due to the tight coupling between software and its hardware platform; hence, embedded software is often tested too late and too little and in an ad-hoc and unstructured manner. Concurrency faults are particularly difficult to find and are extremely difficult to reproduce. Due to their critical application areas, faults in embedded systems may turn into failures with very severe consequence.
+The problem is intensified in embedded systems due to the tight coupling between software and its hardware platform; hence, embedded software is often tested too late and too little and in an ad-hoc and unstructured manner. Concurrency faults are particularly difficult to find and are extremely difficult to reproduce. Due to their critical application areas, faults in embedded systems may turn into failures with very severe consequences.
-A promising solution to testing issues lies in automated Model-Based Testing (MBT) processes, which provide a structured approach to testing from high-level behavioral models.  Our vision is that MBT is instrumental in mechanizing and integrating the test process in the development cycle. Moreover, embedded software is particularly suitable for MBT, because operational (behavioral and reactive) aspects play a prominent role in its correctness.
+A promising solution to testing issues lies in automated Model-Based Testing (MBT) processes, which provide a structured approach to testing from high-level behavioral models. Our vision is that MBT is instrumental in mechanizing and integrating the test process in the development cycle. Moreover, embedded software is particularly suitable for MBT, because operational (behavioral and reactive) aspects play a prominent role in its correctness. Our research agenda is to provide practical industrial strength MBT solutions, that can deal, in particular, with modern embedded systems.
-Our research agenda is to provide practical industrial strength MBT solutions, that can deal with product lines of embedded systems.
 == Selected Publications ==
@@ Line 33: / Line 32: @@
 * H.R. Asaadi, R. Khosravi, M.R. Mousavi, and N. Noroozi. [[media:mousavi_fmco_2011a_extended.pdf|Towards Model-Based Testing of Electronic Funds Transfer Systems]]. Proceedings of the 4th International Conference on Fundamentals of Software Engineering (FSEN 2011), volume 7141 of Lecture Notes in Computer Science, Springer, 2012.
-== Group Members ==
+== Current Group Members ==
 * [[Wojciech Mostowski]], Associate Professor, [[AUTO-CAAS]] Project
 * [https://www.cs.ru.nl/~tretmans/ Jan Tretmans], Guest Professor, IGP Project Financed by the KK Foundation
 * Mahsa Varshosaz, Ph.D. Student, [[MBT4SPL]] Project
@@ Line 46: / Line 41: @@
 == Collaborators ==
 * [https://depend.cs.uni-sb.de/index.php?id=166 Prof.dr. Holger Hermanns], Saarland University, Germany
 * [http://www.informatik.uni-bremen.de/agbs/jp/ Prof.dr. Jan Peleska], University of Bremen and Verified Systems International GMBH, Germany
 * [https://uspdigital.usp.br/tycho/CurriculoLattesMostrar?codpub=D7A387F1613D Dr. Adenilso Simão], University of São Paulo, Brasil
 * [http://www.win.tue.nl/~timw/ Dr. Tim Willemse], Eindhoven University of Technology, The Netherlands
 == Past Members and Associates ==
+* [[Mohammad Mousavi]], Former Group Leader, Principal Investigator for [[AUTO-CAAS]], [[EFFEMBAC]], and [[MBT4SPL]]
 * Xu Fei, Programmer and Assistant, (FAR-EIS Project, 2015-2016)
 * [[Harsh Beohar]], Postdoctoral Researcher, Halmstad University ([[MBT4SPL]] Project, 2013-2015) (Currently: Postdoctoral Researcher at Universität Duisburg-Essen)
@@ Line 63: / Line 61: @@
 == Visitors (Past and Present) ==
 * Sofia de Costa, Ph.D. Student, Instituto de Ciências Matemáticas e de Computação, Departamento de Ciências da Computação, Universidade de São Paulo, Brasil (June 2015)
@@ Line 71: / Line 68: @@
 * Morteza Mohaqeqi, Ph.D. Student, School of Electrical and Computer Engineering, Univ. of Tehran, Iran (May - June 2014)
 * Jan Friso Groote, Professor of Embedded Systems, Eindhoven University of Technology, The Netherlands (August 2013)
 == Contact ==
-[[Mohammad Mousavi]], Professor of Computer Systems Engineering
+[[Wojciech Mostowski]], Associate Professor of Computer Science

@@ Line 37: / Line 37: @@
 * Vanderson Hafemann, Ph.D. Student, Joint with [https://uspdigital.usp.br/tycho/CurriculoLattesMostrar?codpub=D7A387F1613D Adenilso Simão], Universidade de São Paulo, Brasil (Science without Borders Project)
 * [[Sebastian Kunze]], Ph.D. Student, [[EFFEMBAC]] Project
-* [[Wojciech Mostowski]], Assistant Professor, [[AUTO-CAAS]] Project
+* [[Wojciech Mostowski]], Associate Professor, [[AUTO-CAAS]] Project
 * [[Mohammad Mousavi]], Group Leader, Principal Investigator for [[AUTO-CAAS]], [[EFFEMBAC]], and [[MBT4SPL]]
 * [[Masoumeh Taromirad]], Postdoctoral Researcher, [[EFFEMBAC]] Project

@@ Line 15: / Line 15: @@
 * A. Aerts, M. Reniers, and M.R. Mousavi. Model-Based Testing of Cyber-Physical Systems. Chapter 19 of H. Song, D.B. Rawat, S. Jeschke, and Ch. Brecher, Cyber-Physical Systems Foundations, Principles and Applications. pp. 287--304, Elsevier, 2016.
-* M. Mohaqeqi and M.R. Mousavi.  [[media:mousavi_tase_2016.pdf|Sound Test-Suites for Cyber-Physical Systems]]. Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering ([http://tase2016.ecnu.edu.cn/ TASE 2016]), pp. 42-48, IEEE Computer Society Press, 2016.  (*)
+* M. Mohaqeqi and M.R. Mousavi.  [[media:mousavi_tase_2016.pdf|Sound Test-Suites for Cyber-Physical Systems]]. Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering ([http://tase2016.ecnu.edu.cn/ TASE 2016]), pp. 42-48, IEEE Computer Society Press, 2016.
 * N. Khakpour and M.R. Mousavi. [[media:mousavi_concur_2015.pdf|Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)]]. Proceedings of the 26th International Conference on Concurrency Theory ([http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015]),. LIPIcs–Leibniz International Proceedings in Informatics, 2015.

← Older revision		Revision as of 06:55, 15 July 2017
Line 8:		Line 8:

	== Selected Publications ==		== Selected Publications ==
		+
		+	* V. Hafemann Fragal, A. Simao, A.T. Endo and M.R. Mousavi, [[media:mousavi_amost_2017.pdf\|Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines]], Proceedings of the 13th Workshop on Advances in Model Based Testing ([http://a-most17.zen-tools.com/ A-MOST 2017]), IEEE, 2017.
		+
		+	* H. Beohar and M.R. Mousavi. [[media:mousavi_jlamp2_2016.pdf\|Input-Output Conformance Testing for Software Product Lines]]. Journal of Logic and Algebraic Methods in Programming, 85(6): 1131-1153. Elsevier, 2016.
		+
		+	* A. Aerts, M. Reniers, and M.R. Mousavi. Model-Based Testing of Cyber-Physical Systems. Chapter 19 of H. Song, D.B. Rawat, S. Jeschke, and Ch. Brecher, Cyber-Physical Systems Foundations, Principles and Applications. pp. 287--304, Elsevier, 2016.
		+
		+	* M. Mohaqeqi and M.R. Mousavi. [[media:mousavi_tase_2016.pdf\|Sound Test-Suites for Cyber-Physical Systems]]. Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering ([http://tase2016.ecnu.edu.cn/ TASE 2016]), pp. 42-48, IEEE Computer Society Press, 2016. (*)

	* N. Khakpour and M.R. Mousavi. [[media:mousavi_concur_2015.pdf\|Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)]]. Proceedings of the 26th International Conference on Concurrency Theory ([http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015]),. LIPIcs–Leibniz International Proceedings in Informatics, 2015.		* N. Khakpour and M.R. Mousavi. [[media:mousavi_concur_2015.pdf\|Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap (Invited Paper)]]. Proceedings of the 26th International Conference on Concurrency Theory ([http://mafalda.fdi.ucm.es/concur2015/ CONCUR 2015]),. LIPIcs–Leibniz International Proceedings in Informatics, 2015.