Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems

• Feb 23, 2024
• Science of Computer Programming
• Byeongjee Kang + 1 more +1

Cite

Listen

Save

A method of test case set generation in the commutativity test of reduce functions

• Jan 01, 2024
• Science of Computer Programming
• Xiangyu Mu + 4 more +4

Cite

Listen

Save

FCPP to aggregate them all

• Jan 01, 2024
• Science of Computer Programming
• Giorgio Audrito + 1 more +1

Cite

Listen

Save

TDFix: A lightweight tool for fixing deadlocks based on templates

• Dec 14, 2023
• Science of Computer Programming
• Wangjie Ji + 3 more +3

Cite

Listen

Save

WebDraw: A machine learning-driven tool for automatic website prototyping

• Nov 28, 2023
• Science of Computer Programming
• Thisaranie Kaluarachchi + 1 more +1

Cite

Listen

Save

Model based component development and analysis with ComMA

• Nov 22, 2023
• Science of Computer Programming
• Ivan Kurtev + 3 more +3

Cite

Listen

Save

Testing and incremental conformance testing of timed state machines

• Nov 07, 2023
• Science of Computer Programming
• Aleksandr Tvardovskii + 2 more +2

Cite

Listen

Save

TyphonML: Tool support for hybrid polystores

• Oct 16, 2023
• Science of Computer Programming
• Francesco Basciani + 3 more +3

Cite

Listen

Save

Applying model-driven engineering to the domain of chatbots: The Xatkit experience

• Oct 02, 2023
• Science of Computer Programming
• Gwendal Daniel + 1 more +1

Cite

Listen

Save

Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework

• Sep 29, 2023
• Science of Computer Programming
• Constantin Buschhaus + 6 more +6

Cite

Listen

Save