Raluca Lefticaru on Raluca Lefticaru

A-MOST 2021 Call for Papers

Fri, 30 Oct 2020 00:00:00 +0000

17th Workshop on Advances in Model Based Testing (A-MOST 2021)

April, 2021

A-MOST 2021 will be collocated with the IEEE International Conference on Software Testing, Verification and Validation (ICST 2021).

Proceedings: Accepted papers will be published in the IEEE Digital Library.
Paper format: IEEE two-column publication format.
- Full papers: 8 pages
- Short papers: 4 pages
- Journal first: 2 pages

Important Dates

Paper submission: Jan 10, 2021
Notification: Jan 31, 2021
Camera–ready version: Feb 20, 2021

Spiking Neural P Systems Simulation and Verification

Wed, 28 Oct 2020 00:00:00 +0000

A-MOST 2020 Program

Thu, 15 Oct 2020 00:00:00 +0100

A-MOST: Advances in Model-based Testing

24 October, 2020

A-MOST is a one-day workshop bringing together researchers and practitioners to discuss state of the art, practice and future prospects in Model Based Testing (MBT). It provides a platform to present new approaches, methods and tools to make MBT techniques (for automatic test case generation) more deployable and useful for industry than ever.

Program

A detailed program can be found here.

Fundamental results for learning deterministic extended finite state machines from queries

Wed, 16 Sep 2020 00:00:00 +0100

Spiking Neural P Systems - Matrix Representation and Formal Verification

Tue, 15 Sep 2020 00:00:00 +0100

Implementation relations and testing for cyclic systems with refusals and discrete time

Wed, 01 Jul 2020 00:00:00 +0100

A verified and optimized Stream X-Machine testing method, with application to cloud service certification

Tue, 18 Feb 2020 00:00:00 +0000

RoboSoft: software engineering for robotics

Thu, 03 Oct 2019 00:00:00 +0100

RoboSoft: Software Engineering for Robotics

London, UK, 13-14 November, 2019

RoboSoft is a two-day event to bring together researchers representing groups working on themes relevant for Software Engineering for Robotics, developers working on the next-generation of robotic systems in various areas of application, and regulation authorities interested in safety of robotic systems. It provides a platform to establish Software Engineering for Robotics as an important discipline in Computer Science and Electronic Engineering. The objective is to establish a common understanding of the challenges that need to be faced to ensure that results are relevant to industrial practice and regulation.

Programme

A detailed programme can be found here

Testing Robots Using CSP

Tue, 01 Oct 2019 00:00:00 +0100

An Implementation Relation for Cyclic Systems with Refusals and Discrete Time

Sun, 01 Sep 2019 00:00:00 +0100

SSBSE 2019 conference tracks and important dates

Fri, 01 Mar 2019 00:00:00 +0000

11th Symposium on Search-Based Software Engineering

Tallinn Estonia, 31 Aug - 2 Sep, 2019

SSBSE 2019 will be collocated with the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2019 conference).

Conference proceedings: accepted papers will be published in a volume of the Springer Lecture Notes in Computer Science series (LNCS).
Special issue for best papers: following the conference, the authors of the best manuscripts will be invited to extend their papers into full journal papers, for a Special Section of the Information and Software Technology Journal (IST).

Tracks and Important Dates

Research Paper Track

Abstract submission: March 22, 2019
Full paper submission: March 29, 2019
Initial decisions and notification: May 3, 2019
Revised paper submission: May 17, 2019
Final decisions and notification: May 31, 2019
Camera–ready submission: June 15, 2019

Journal First Track

Submission: May 1, 2019
Notification: June 1, 2019

Short & Student Track

Abstract submission: May 10, 2019
Paper submission: May 17, 2019
Author notification: June 14, 2019
Camera ready submission: June 21, 2019

Challenge Track

The SSBSE Challenge Track is an exciting opportunity for SBSE researchers to apply tools, techniques, and algorithms on real-world software. The entrants of the SSBSE Challenge Track will compete for cash prizes totaling 1000€.

Submission: June 1, 2019
Notification: June 16, 2019
Camera ready: June 21, 2019

RoboTest

Thu, 13 Sep 2018 00:00:00 +0100

Testing Identifiable Kernel P Systems using an X-machine Approach

Sat, 01 Sep 2018 00:00:00 +0100

Generating Complex Paths for Testing from an EFSM

Mon, 16 Jul 2018 00:00:00 +0100

P colonies and kernel P systems

Sun, 08 Jul 2018 00:00:00 +0100