Dynamic Symbolic Execution for Semantic Difference Analysis of Component and Connector Architectures
यह शोध पत्र मोंटीआर्क (MontiArc) घटक-और-कनेक्टर आर्किटेक्चर पर सिमेंटिक डिफरेंस विश्लेषण करने के लिए रनटाइम डेटा संग्रह द्वारा संवर्धित एक डायनेमिक सिम्बोलिक एक्जीक्यूशन दृष्टिकोण का प्रस्ताव और मूल्यांकन करता है, जिसे निष्पादन ट्रेसेस (execution traces) की पहचान करने के लिए आशाजनक पाते हुए बड़े सिस्टम के लिए स्केलेबिलिटी को एक प्राथमिक सीमा के रूप में नोट किया गया है।