Willkommen!

News

TVA @ Quantum Effects Fair 2023

Die TVA-Forschungsgruppe hatte einen erfolgreichen Auftritt auf der Quantum Effects Messe in Stuttgart, wo Tim Bittner auf der QuantumBW-Bühne einen Vortrag über qubrabench hielt. Bittners Vortrag beleuchtete die praktischen Möglichkeiten des Quanten-Benchmarkings und begeisterte das Publikum. Die Veranstaltung war ein wichtiger Schritt für die deutsche Quanten-Community und brachte Forscher, Industrie und Studenten zusammen. Sie ist ein klares Indiz dafür, dass sich der Bereich des Quantencomputers weiterentwickelt und ein vielversprechendes Potenzial für die Zukunft birgt. Mehr Infos zum qubrabench Benchmarkring-Framework finden sich auf GitHub.

ISTQB-Zertifikatsprüfung zum Foundation Level Tester

Im Rahmen der Mastervorlesung „Softwarequalitätssicherung und Softwaretest“ haben am KIT erstmals zehn Studierende die vom International Software Testing Qualifications Board (ISTQB) anerkannte Zertifikatsprüfung zum Foundation Level Tester abgelegt. Geplant ist, die Zertifikatsprüfung jährlich für interessierte Studierende anzubieten, um diese bestmöglich auf den Arbeitsmarkt vorzubereiten.

Most Influental Paper Award für "Refactoring delta-oriented software product lines"

Im Rahmen der 7th International Conference on the Art, Science, and Engineering of Programming wurden Sandro Schulze, Oliver Richers und Ina Schaefer für das Paper "Refactoring delta-oriented software product lines" mit einem Most Influental Paper Award auszgezeichnet. Das Paper wurde 2013 auf der Conference on Aspect-Oriented Software Development veröffentlicht und beschreibt Refactoring-Techniken, um die Wartbarkeit delta-orientierter Software Produkt Linien zu verbessern. Die Veröffentlichung ist bei ACM abrufbar.

Angenommenes Papier bei der International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS)

Das Papier Coverage-Driven Test Automation for Highly-Configurable Railway Systems unter Mitwirkung von Domenik Eichhorn, Tobias Pett und Ina Schaefer wurde auf der VaMoS 2023 akzeptiert. Das Papier stellt ein automatisiertes Testverfahren für konfigurierbare Bahnstreckensysteme vor und ist in Zusammenarbeit mit der Siemens Mobility GmbH entstanden. Eine veröffentlichte Version des Papiers wird Ende Januar von ACM zur Verfügung gestellt. DOI: https://doi.org/10.1145/3571788.3571794

Neuer Journal-Artikel bei Transactions on Programming Languages and Systems (TOPLAS)

Der Journalartikel "Immutability and Encapsulation for Sound OO Information Flow Control" von Tobias Runge, Marco Servetto, Alex Potanin und Ina Schaefer wurde zur Veröffentlichung in Transactions on Programming Languages and Systems (TOPLAS) angenommen. Der Beitrag befasst sich mit einem neuen Typsystem, das die Vorteile von Typmodifikatoren für eine sichere Informationsflusskontrolle aufzeigt.

Neue Stellenausschreibung für eine/n akademische/n Mitarbeiter/in (PostDoc)

Die Forschungsgruppe für Test, Validierung und Analyse Software-Intensiver Systeme sucht zum 01.01.2023 akademisches Personal (PostDoc) in Vollzeit. Weitere Informationen zur Ausschreibung sind unter Offene Stellen sowie beim Personalservice einsehbar.

Most Influental Paper Award für "Delta-Oriented Programming of Software Product Lines"

Prof. Dr.-Ing. Ina Schaefer wurde im Rahmen der SPLC 2022 mit dem Most Influental Paper Award für das Paper „Delta-Oriented Programming of Software Product Lines” ausgezeichnet. Die Arbeit entstand in Kooperation mit Lorenzo Bettini, Viviana Bono, Ferruccio Damiani sowie Nico Tanzarella und wurde 2010 auf der SPLC in Südkorea vorgestellt. Mit der inkrementellen Anwendung von variablen Delta-Modulen auf ein gemeinsames Core-Modul bietet Delta-Oriented Programming einen flexiblen Entwicklungsansatz für Software-Produktlinien, der etablierte Single-Application Engineering Methoden mit Techniken aus dem Produktlinienspektrum kombiniert. Die Publikation ist unter folgendem Link verfügbar: http://dx.doi.org/10.1007/978-3-642-15579-6_6

Einreichung bei der 20th International Conference on Software Engineering and Formal Methods (SEFM) angenommen

Das Paper "Information Flow Control-by-Construction for an Object-Oriented Language" von Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin und Ina Schaefer wurde zur Veröffentlichung auf der 20th International Conference on Software Engineering and Formal Methods angenommen.
Der Beitrag befasst sich mit der konstruktiven Entwicklung von sicheren Programmen mittels Correctness-by-Construction. Hierbei wird explizit der Informationsfluss in objektorientierten Programmen untersucht.

Demo/Tools Best Paper Award bei der 26th ACM International Systems and Software Product Line Conference

Der Beitrag mit dem Titel "Derivation of Subset Product Lines in FeatureIDE" von Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm und Ina Schaefer wurde auf der 26th ACM International Systems and Software Product Line Conference mit dem Demo/Tools Best Paper Award ausgezeichnet. Der Beitrag befasst sich mit einer neuartigen Funktionalität des Werkzeugs FeatureIDE, die die Ableitung einer Teilproduktlinie aus einer ursprünglichen Produktlinie auf der Basis einer Teilkonfiguration ermöglicht. Die Funktionalität des Tools wird sowohl in einer Hauptsitzung der Konferenz als auch an einem Demo-Stand vorgestellt.

 

Best Paper Award für Tobias Runge, Alex Potanin, Thomas Thüm und Ina Schaefer

Tobias Runge, Alex Potanin, Thomas Thüm und Ina Schaefer erhielten einen Best-Paper-Award für ihren Beitrag "Traits: Correctness-by-Construction for Free" auf der FORTE 2022 Konferenz in Lucca, Italien. Der Artikel ist abrufbar unter: https://link.springer.com/chapter/10.1007/978-3-031-08679-3_9

Erfolgreiche Einreichung beim Workshop on Reverse Variability Engineering (REVE)

Das Paper "Synchronizing software variants: A two-dimensional approach" von Christoph König, Kamil Rosiak, Lukas Linsbauer und Ina Schaefer wurde zur Veröffentlichung beim International Workshop on Reverse Variability Engineering (REVE) angenommen.