The TVA research group made a successful appearance at the Quantum Effects Fair in Stuttgart, where Tim Bittner presented a talk on qubrabench at the QuantumBW stage. Bittner’s discussion shed light on the practical potentials of quantum benchmarking, leaving the audience intrigued. This event marked a significant step forward for the German quantum community, bringing researchers, industry and students together. It’s a clear indication that the quantum computing field is evolving and holds promising potential for the future.
You can find out more about the qubrabench quantum benchmarking framework over at GitHub.
Within the scope of the master lecture "Software Quality Assurance and Software Testing", ten students at KIT have for the first time taken the Foundation Level Tester certificate examination recognized by the International Software Testing Qualifications Board (ISTQB). It is planned to offer the certificate exam annually for interested students in order to prepare them in the best possible way for the job market.
At the 7th International Conference on the Art, Science, and Engineering of Programming, Sandro Schulze, Oliver Richers, and Ina Schaefer received a Most Influential Paper Award for the paper "Refactoring delta-oriented software product lines". The paper was published in 2013 at the Conference on Aspect-Oriented Software Development and describes refactoring techniques to maintain the maintainability of delta-oriented software product lines. The publication is available at ACM.
The paper Coverage-Driven Test Automation for Highly-Configurable Railway Systems with the collaboration of Domenik Eichhorn, Tobias Pett and Ina Schaefer was accepted at VaMoS 2023. The paper presents an automated test procedure for configurable railroad track systems and was developed in collaboration with Siemens Mobility GmbH. A published version of the paper will be made available by ACM in late January. DOI: https://doi.org/10.1145/3571788.3571794
The journal article "Immutability and Encapsulation for Sound OO Information Flow Control" by Tobias Runge, Marco Servetto, Alex Potanin, and Ina Schaefer has been accepted for publication in Transactions on Programming Languages and Systems (TOPLAS). The paper deals with a new type system that demonstrates the advantages of type modifiers for secure information flow control.
The Research Group for Test, Validation and Analysis of Software-Intensive Systems is looking for a full-time academic staff member (PostDoc) for 01.01.2023. Further information on the job advertisement can be found under Open Positions as well as in the Personnel Service advertisement.
Prof. Dr.-Ing. Ina Schaefer was awarded the Most Influential Paper Award at SPLC 2022 for the paper "Delta-Oriented Programming of Software Product Lines". The paper was written in cooperation with Lorenzo Bettini, Viviana Bono, Ferruccio Damiani and Nico Tanzarella and was presented at SPLC 2010 in South Korea. With the incremental application of variable delta modules to a common core module, Delta-Oriented Programming offers a flexible development approach for software product lines that combines established single-application engineering methods with techniques from the product line spectrum. The publication is available at the following link: http://dx.doi.org/10.1007/978-3-642-15579-6_6
The paper "Information Flow Control-by-Construction for an Object-Oriented Language" by Tobias Runge, Alexander Kittelmann, Marco Servetto, Alex Potanin, and Ina Schaefer has been accepted for publication at the 20th International Conference on Software Engineering and Formal Methods.
The paper deals with the constructive development of secure programs using correctness-by-construction. Here, the flow of information in object-oriented programs is explicitly investigated.
The paper entitled "Derivation of Subset Product Lines in FeatureIDE" by Lukas Linsbauer, Paul Westphal, Paul Maximilian Bittner, Sebastian Krieter, Thomas Thüm and Ina Schaefer has been awarded with the Demo/Tools Best Paper Award at the 26th ACM International Systems and Software Product Line Conference. The paper is about novel functionality in the tool FeatureIDE that allows the derivation of a subset product line from an original product line based on a partial configuration. The tool functionality will be presented within a main conference session as well as at a demo booth.
Tobias Runge, Alex Potanin, Thomas Thüm, and Ina Schaefer received a best paper award for their paper "Traits: Correctness-by-Construction for Free" at the FORTE 2022 conference in Lucca, Italy. The paper can be accessed at: https://link.springer.com/chapter/10.1007/978-3-031-08679-3_9
The paper "Synchronizing software variants: A two-dimensional approach" by Christoph König, Kamil Rosiak, Lukas Linsbauer and Ina Schaefer has been accepted for publication at the International Workshop on Reverse Variability Engineering (REVE).