WELCOME TO ZEN

News

U-Test project presented at the 12th Advances in Model based Testing (A-MOST) Workshop. more details

“ Enhancing Test Case Prioritization in an Industrial Setting with Resource Awareness and Multi-Objective Search" was accepted in the 38th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track, (2016).

“A Practical Guide to Select Quality Indicators for Assessing Pareto-Based Search Algorithms in Search-Based Software Engineering" was accepted in the 38th International Conference on Software Engineering (ICSE).(2016).

“Zen-ReqOptimizer: A Search-based Approach for Requirements Assignment Optimization" was accepted in the journal of Empirical Software Engineering (EMSE). (2015).

“Model-based Incremental Conformance Checking to Enable Interactive Product Configuration" was accepted in the journal of Information and Software Technology (IST). (2015).

Tao Yue will give keynote in the 8th International Workshop on. Model-based Architecting of Cyber-Physical and Embedded Systems co-located with MODELS 2015. The topic of keynote is “Model-Based Engineering for a Broad Range of Industrial Applications and Challenges”

Tao Yue will give a tutorial on “Zen-RUCM: A Model Based Requirements Engineering Framework”   on October 2 (10:45-12:15) at the MODELS 2015 conference.

Simula successfully hosted the work group workshop of the UML Testing Profile (UTP) V.2, on September 9th and 10th. Eight researchers from five organisations attended the workshop. From Simula Tao Yue and Shaukat Ali participated in the meeting. Results of the workshop directly contribute to the submissions of UTP V.2 to the Object Management Group (OMG). OMG is an international, open membership, and non-profit standardisation body for modeling standards established in 1989.

"Improving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A Search-Based Approach"   was accepted in The Empirical Software Engineering Journal (EMSE), (2015).

Recent Publications

Ali, Shaukat, Tao Yue, Xiang Qiu, and Hong Lu. Generating Boundary Values from OCL Constraints using Constraints Rewriting and Search Algorithms In IEEE World Congress on Computational Intelligence., 2016.

Pradhan, Dipesh, Shuai Wang, Shaukat Ali, and Tao Yue. Search-Based Cost-Effective Test Case Selection for Manual Execution within Time Budget: An Empirical Study In Genetic and Evolutionary Computation Conference (GECCO)., 2016.

Wang, Shuai, Hong Lu, Tao Yue, Shaukat Ali, and Jan Nygård. MBF4CR: A Model-Based Framework for Supporting An Automated Cancer Registry System In 12th European Conference on Modelling Foundations and Applications (ECMFA 2016)., 2016.

Zhang, Man, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, and Roland Norgren. Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model In European Conference on Modelling Foundations and Applications(ECMFA)., 2016.

Tao Yue, Huihui Zhang, Shaukat Ali, and Chao Liu. A Practical Use Case Modeling Approach to Specify Crosscutting Concerns: Industrial Applications, Accepted In International Conference on Software Reuse (ICSR)., 2016.

Yue, Tao, Shaukat Ali, Hong Lu, and Kunming Nie. Search-based Decision Ordering to Facilitate Product Line Engineering of Cyber-Physical System In International Conference on Model-Driven Engineering and Software Deployment (MODELSWARD)., 2016.

Shuai Wang, Shaukat Ali, Tao Yue, Øyvind Bakkeli and Marius Liaaen. “Enhancing Test Case Prioritization in an Industrial Setting with Resource Awareness and Multi-Objective Search”. In the 38th International Conference on Software Engineering (ICSE), Software Engineering in Practice (SEIP) track. 2016.

Lu, Hong, Tao Yue, Shaukat Ali, and Li Zhang. Integrating Search and Constraint Solving for Nonconformity Resolving Recommendations of System Product Line Configuration In IEEE International Conference on Software Testing, Verification and Validation (ICST). 2016.

Shuai Wang, Shaukat Ali, Tao Yue, Yan Li and Marius Liaaen. “A Practical Guide to Select Quality Indicators for Assessing Pareto-Based Search Algorithms in Search-Based Software Engineering”. In the 38th International Conference on Software Engineering (ICSE). 2016.

Yan Li, Tao Yue, Shaukat Ali, and Li Zhang. “Zen-ReqOptimizer: A Search-based Approach for Requirements Assignment Optimization". In the journal of Empirical Software Engineering (EMSE). 2015.

Hong Lu, Tao Yue, Shaukat Ali, and Li Zhang. “Model-based Incremental Conformance Checking to Enable Interactive Product Configuration”. In the journal of Information and Software Technology (IST). 2015.

Wang, Shuai, Shaukat Ali, and Arnaud Gotlieb."Cost-effective test suite minimization in product lines using search techniques." Journal of Systems and Software 103 (2015): 370-391

Wang, Shuai, et al."Automated product line test case selection: industrial case study and controlled experiment." Software & Systems Modeling (2015): 1-25.

Yue, Tao, Shaukat Ali, and Bran Selic."Cyber-physical system product line engineering: comprehensive domain analysis and experience report." Proceedings of the 19th International Conference on Software Product Line. ACM, 2015.

Yue, Tao, Shaukat Ali, and Man Zhang."RTCM: a natural language based, automated, and practical test case generation framework." Proceedings of the 2015 International Symposium on Software Testing and Analysis. ACM, 2015.

Upcoming Conference Deadlines

SPLC: International Systems and Software Product Line Conference.

ECMFA: 12th European Conference on Modelling Foundations and Applications.

MODELS: ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems.

FSE: ACM Conference on the Foundations of Software Engineering.

ASE: IEEE/ACM International Conference on Automated Software Engineering.

Projects

Tools

Zen-RUCM

Zen-RUCM built on top of RUCM, aims to tackle the challenges of requirement specification and analysis in different application domains

EsOCL

Evolutionary Solver for OCL (EsOCL) is a practical and scalable search-based constraint solver for the Object Constraint Language (OCL) that provides a solution for various model-driven engineering problems.

iOCL

iOCL (An Interactive OCL Writer Tool) is a web-based tool for writing OCL constraints in an interactive way.

PL-MTM

Product Line Test Management Framework (PL-TMF) focusing on managing and generating test cases product lines.

Meet The Team

Shaukat Ali

Senior Research Scientist
shaukat@simula.no
Simula Research Lab
Norway


Tao Yue

Chief Research Scientist
Adjunct Associate Professor

tao@simula.no
Simula Research Lab
University of OSLO
Norway

Shuai Wang

Postdoctoral Fellow
shuai@simula.no
Simula Research Lab
Norway


Muhammad Hammad

Research Engineer
hammad@simula.no
Simula Research Lab
Norway


Safdar Aqeel

PhD Student

Simula Research Lab
Norway


Tao Ma

PhD Student

Simula Research Lab
Norway


Man Zhang

PhD Student
manzhang@simula.no
Simula Research Lab
Norway


Hong Lu

Postdoctoral Fellow
honglu@simula.no
Simula Research Lab
Norway


Huihui Zhang

PhD Student

Simula Research Lab
Norway


Dipesh Pradhan

PhD Student
dipesh@simula.no
Simula Research Lab
Norway


Phu H. Nguyen

Postdoctoral Fellow
phu@simula.no
Simula Research Lab
Norway


Get in Touch

Contact Info

Thank you for your interest in ZEN TOOLS.
For any inquiry about the content and tools presented in the website, please send emails to:

Tao Yue: (tao@simula.no)
Shaukat Ali: (shaukat@simula.no)