ZEN-TOOLS

News

April 2016

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

January 2015

“ 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).

December 2015

“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).

December 2015

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

December 2015

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

October 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”

October 2015

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.

September 2015

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.

September 2015

"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.