SATToSE

sattose@list.inf.unibe.ch

107 discussions

Joint Call For Papers for ICST 2025 Workshops

by Carolin Brandt

-------------------------------------------------------------------------------------------------- ICST 2025 Workshops - Joint Call for Papers Ten Workshops will be organized in conjunction with ICST 2025, which will be held in Naples, Italy between March 31, 2025 and April 4, 2025. https://conf.researchr.org/home/icst-2025 ---------------------------------------------------------------------------------------------------- ICST serves as a premier platform uniting researchers, scientists, engineers, and practitioners worldwide to showcase their cutting-edge research findings, innovative ideas, and practical applications in the domain of Software Testing, Verification, and Validation. This year, ten Workshops will be co-located with ICST. Deadlines are as follows: * Paper Submission: January 3, 2025 * Author Notification: February 3, 2025 For detailed calls for papers, please consult the website of each Workshop. ---------------------------------------------------------------------------------------------------- ==== [A-MOST 2025] The 21th Workshop on Advances in Model Based Testing The increasing complexity, criticality and pervasiveness of software results in new challenges for testing. Model Based Testing (MBT) continues to be an important research area, where new approaches, methods and tools make MBT techniques (for automatic test case generation) more deployable and useful for industry than ever. Following the success of previous editions, the goal of the A-MOST workshop is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT. Submission types: * Full Papers (8 pp + refs) * Short Papers (4 pp + refs) * Journal First Papers (2 pp + refs) Details at: https://conf.researchr.org/home/icst-2025/a-most-2025 ==== [A-TEST 2025] 16th edition of the Workshop on Automated Testing A-TEST 2025 will serve as a unique venue for sharing the latest research, ideas, and techniques surrounding automated UI Testing and automated UI-based Testing. The workshop aims to encourage collaboration and knowledge exchange across the testing community, bringing together experts to discuss advancements, challenges, and future directions. The proposed 16th edition of the Workshop on Automated Testing (A-TEST) will focus on the specific theme of automated UI Testing and automated UI-based Testing, including both Character User Interface (CUI) and Graphical User Interface (GUI) testing. Submission types: * Full Papers (8-10 pp) * Work-in-progress Papers (4 pp) * Tool Papers (4 pp) Details at: https://conf.researchr.org/home/icst-2025/a-test-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [AIST 2025] 5th International Workshop on Artificial Intelligence in Software Testing The AIST workshop aspires to bring together a diverse community of researchers and practitioners. It aims to create a platform for the presentation and discussion of cutting-edge research and development initiatives in the areas of AI-driven software testing. The workshop encourages collaboration, facilitating the exchange of knowledge and ideas, and fostering a holistic understanding of the potential applications that AI offers in the context of software testing. By acknowledging the broad spectrum of perspectives and topics within the AI umbrella, AIST seeks to be a catalyst for innovation, ultimately ushering in a path for software testing efficiency and effectiveness. Submission types: * Full Papers (8-10 pp) * Short Papers (4 pp) * Tool Papers (4 pp) * Position Papers (2 pp) Details at: https://conf.researchr.org/home/icst-2025/aist-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [CCIW 2025] 5th CI/CD Industry Workshop Continuous Integration (CI) and Continuous Delivery (CD) are increasingly widespread throughout the technology sector. As large engineering organizations adopt CI/CD they are often met with scalability challenges. What works for small teams has not proven to work for large teams. This workshop invites practitioners and academics to come together and informally discuss the challenges and opportunities in build, test, and release automation. Submission types: Abstracts (1000 words) Details at: https://conf.researchr.org/home/icst-2025/cciw-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [ITEQS 2025] The 9th International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems The rapid development towards increased integration of software with the social and physical world that we see today means that quality aspects such as performance, safety, security, and robustness become more important in an increasing number of the systems and devices, which we use and depend on. In this context, the success of a software product may not only depend on the logical correctness of its functions, but also on the system quality characteristics. Such system characteristics, which are referred to and captured as Extra-Functional Properties (EFPs) or Non-Functional Properties, are particularly important in resource constrained systems such as in the domains of real-time embedded and cyber-physical systems. Therefore, such systems need to be tested with a special attention to the EFPs. Testing EFPs is challenging and often requires different approaches compared to testing normal functionality. ITEQS provides a focused forum with the goal of bringing together researchers and practitioners to share ideas, identify challenges, propose solutions and techniques, and in general expand the state of the art in testing EFPs and quality characteristics of software systems and services. Submission types: * Full Papers (6-10 pp) * Work-in-progress and Position Papers (4 pp) Details at: https://conf.researchr.org/home/icst-2025/iteqs-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [IWCT 2025] 14th International Workshop on Combinatorial Testing The Workshop focuses on combinatorial methods in testing, which can target software, systems-of-systems or other domains. The workshop welcomes academic research submissions as well as industrial experience reports. We would like to highlight that this year, IWCT 2025 seeks to broaden its application domains of combinatorial methods used in general testing problems and therefore not only invites contributions from the software testing domain concerning - but not limited to - AI/ML-based, autonomous, concurrent or real-time systems, security of hard- and software, cloud computing and cloud architectures and software product lines, but also welcomes contributions on using combinatorial testing in other domains such as - including, but not limited to - biotechnology applications, mechanical engineering, manufacturing, quantum computing, finance and disaster management research. Submission types: * Full Papers (10 pp) * Short Papers (4 pp) * Journal First Papers (2 pp) Details at: https://conf.researchr.org/home/icst-2025/iwct-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [InSTA 2025] 12th International Workshop on Software Test Architecture Software test architecture includes analyses of systems under test, approaches to design test cases, and notation of software testing. Designing better software test architectures is important for software testing. The software test architecture is a key to the test strategy. In software testing, there are various keywords for test design concepts. However, there are no widely standardized diagrams or notations to communicate the test design concepts, to increase the productivity and reusability of tests by raising their levels of abstraction, to generally grasp the overall perspective of the software for testing it. By focusing on the higher concepts of test architectures, our discussions can raise the quality of the testing. Test architectures must be approached indirectly as a part of the test strategies. Some organizations are working to establish new ways to design novel test architectures, but there is no unified understanding of the key concepts of test architectures. In InSTA workshop, researchers and practitioners will discuss the research works, industrial experiences and emerging ideas about software test architectures. The topics are concepts of test architectures like abstraction of test cases, design of test architecture as application or enhancement of existing notation UML and UTP, test requirement analysis as patterns for test requirement analysis, application of test architecture as quality evaluation of test architecture and other software testing related topics. Submission types: * Research Papers (10 pp) * Industrial Experience Reports (6 pp) * Emerging Idea Proposals (6 pp) Details at: https://conf.researchr.org/home/icst-2025/insta-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [Mutation 2025] The 20th International Workshop on Mutation Analysis Mutation analysis involves mutation of software artifacts that are then used to evaluate the quality of software verification tools and techniques. It is considered the premier technique for evaluating the fault revealing effectiveness of test suites, test generation techniques and other testing approaches. Ideas derived from mutation analysis have also been used to test artifacts at different levels of abstraction, including requirements, formal specifications, models, architectural design notations and even informal descriptions. Recently, mutation has played an important role in software engineering for AI, such as in verifying learned models and behaviors. Furthermore, researchers and practitioners have investigated diverse forms of mutation, such as training data or test data mutation, in combination with metamorphic testing to evaluate model performance in machine learning and detecting adversarial examples. Mutation 2024 aims to be the premier forum for practitioners and researchers to discuss recent advances in the area of mutation analysis and propose new research directions. Submission types: * Full Papers (10 pp) * Short Papers (6 pp) * Full Industrial Papers (6 pp) * Short Industrial Papers (2 pp) * Hot Off the Press Abstracts (1 p) Details at: https://conf.researchr.org/home/icst-2025/mutation-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [NEXTA 2025] 8th IEEE Workshop on Next Level of Test Automation Test automation has been an acknowledged software engineering best practice for years. However, the topic involves more than the repeated execution of test cases that often comes first to mind. Simply running test cases using a unit testing framework is no longer enough for test automation to keep up with the ever-shorter release cycles driven by continuous deployment and technological innovations such as microservices and DevOps pipelines. Now test automation needs to rise to the next level by going beyond mere test execution. The NEXTA workshop will explore how to advance test automation to further contribute to software quality in the context of tomorrow’s rapid release cycles. Takeaways for industry practitioners and academic researchers will encompass test case generation, automated test result analysis, test suite assessment and maintenance, and infrastructure for the future of test automation. Submission types: * Technical Papers (8 pp) * Position and Experience Papers (4 pp) * Tool Papers (4 pp) Details at: https://conf.researchr.org/home/icst-2025/nexta-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ==== [SAFE-ML 2025] 1st International Workshop on Secure, Accountable, and Verifiable Machine Learning The Workshop addresses the critical challenges at the intersection of Machine Learning (ML) and software testing. As ML systems are increasingly adopted across various sectors, concerns about privacy breaches, security vulnerabilities, and biased decision-making have grown. This workshop focuses on developing innovative methods, tools, and techniques to comprehensively test and validate the security aspects of ML systems, ensuring their safe and reliable deployment. SAFE-ML seeks to foster discussion and drive the creation of solutions that streamline the testing of ML systems from multiple perspectives. Submission types: * Full Papers (8 pp) * Short Papers (4 pp) * Position Papers (2 pp) Details at: https://conf.researchr.org/home/icst-2025/safe-ml-2025<https://conf.researchr.org/home/icst-2025/a-most-2025> ---------------------------------------------------------------------------------------------------- Michele Pasqua and Carolin Brandt Publicity Co-Chairs ICST 2025

4 months, 2 weeks

ICST 2025 - Call for Papers

by Carolin Brandt

-------------------------------------------------------------------------------------------------- ICST 2025 – Call for Papers 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025 Mon 31 March – Fri 4 April 2025 Naples, Italy https://conf.researchr.org/home/icst-2025 ---------------------------------------------------------------------------------------------------- ICST serves as a premier platform uniting researchers, scientists, engineers, and practitioners worldwide to showcase their cutting-edge research findings, innovative ideas, and practical applications in the domain of Software Testing, Verification, and Validation. The 18th edition of ICST, scheduled for 2025, will be held in Naples, Italy. ICST 2025 will welcome high-quality submissions across various tracks, including (but not limited to) full research papers, short papers, posters, testing tools and demonstrations, industry perspectives, and doctoral symposium submissions. Additionally, the conference will host co-located events, including workshops, challenges and tutorials, and keynote addresses by eminent scientists. Stay tuned for additional details on tracks and co-located events! All submissions will be rigorously peer-reviewed to ensure quality, originality, and relevance. Accepted research papers will be published in the conference proceedings with an IEEE catalog number and ISBN number. The proceedings will be submitted for publication in IEEE Xplore. ---------------------------------------------------------------------------------------------------- ICST 2025 will host a variety of tracks! For detailed calls for papers and deadlines, please consult the website of each track: Research Papers (up to 10 pages + 2 additional pages for references, double-blind) https://conf.researchr.org/track/icst-2025/icst-2025-papers Wed 25 Sep 2024: Abstract Submission Deadline Wed 2 Oct 2024: Full Paper Submission Deadline Industry (up to 10 pages + 2 additional pages for references, single-blind) https://conf.researchr.org/track/icst-2025/icst-2025-industry Short Papers, Vision, and Emerging Results (up to 4 pages + 2 additional pages for references, double-blind) https://conf.researchr.org/track/icst-2025/icst-2025-short-vision-emerging-… Testing Tools and Data Showcase (up to 5 pages, single blind) https://conf.researchr.org/track/icst-2025/icst-2025-testing-tool-data-show… Education (research, experience, position and tool papers) https://conf.researchr.org/track/icst-2025/icst-2025-education Posters (up to 4 pages abstract, double-blind) https://conf.researchr.org/track/icst-2025/icst-2025-posters Journal-First Papers (one-page proposal) https://conf.researchr.org/track/icst-2025/icst-2025-journal-first-papers Doctoral Symposium (2 pages, CV, and recommendation letter, incl. opportunity to present a poster) https://conf.researchr.org/track/icst-2025/icst-2025-doctoral-symposium Workshops (2-3 pages, DEADLINE SOON: 18th of September 2024) https://conf.researchr.org/track/icst-2025/icst-2025-workshops Tool Competition: Self-Driving Car Testing (tool submission) https://conf.researchr.org/track/icst-2025/icst-2025-tool-competition--self… Tool Competition: UAV Testing (tool submission) https://conf.researchr.org/track/icst-2025/icst-2025-tool-competition--uav-… Technical Briefings and Tutorials (comprehensive PDF proposal) https://conf.researchr.org/track/icst-2025/icst-2025-tutorial ---------------------------------------------------------------------------------------------------- ------------------------------ Call for Papers: Research Track ------------------------------------- ICST 2025 invites high-quality submissions in all software testing, verification, and validation areas. Topics of interest include, but are not limited to, the following: - AI-assisted software testing - Automated test generation - Formal verification - Manual and social aspects of the software testing process - Replications, empirical studies, case studies, experience reports - Software reliability - Static and dynamic analysis - Test automation - Test-driven development and Agile testing - Testability, test design, and adequacy criteria - Testing AI-based systems - Testing and development processes - Testing, debugging, and repair tools - Testing Education - Testing in specific domains, such as mobile, web, embedded/cyber-physical systems, concurrent, distributed, cloud, GUI, context-aware, IoT, real-time systems, video games, augmented/virtual reality applications - Testing of non-functional properties such as security, accessibility, and performance - Theory of software testing - Validation and user acceptance techniques Papers for the research track should present novel and original work that advances the state-of-the-art. Case studies, replication studies, and empirical research papers are also welcome. Papers with a strong industrial/practical component and focus more on impact than (technical) novelty are encouraged to consider the industry track instead. ==== Submission Format ==== Full Research papers must conform to the two-column IEEE conference publication format, and not exceed 10 pages, including all text, figures, tables, and appendices; two additional pages containing only references are permitted. It must conform to the IEEE Conference Proceedings Formatting Guidelines (use the letter format template and conference option). The ICST 2025 research track only accepts full research papers. Short papers are not accepted to the research track. Authors must comply with the IEEE Plagiarism Guidelines. In particular, a submission must not have been published elsewhere and must not be under review elsewhere while under review for ICST. The submission must also comply with the IEEE Policy on Authorship. ==== Double-blind Reviewing ==== Each submission will be reviewed by at least three members of the ICST 2025 Program Committee. We employ a double-blind reviewing process. No submission may reveal its authors’ identities. Authors must make every effort to honor the double-anonymous review process. In particular, the authors’ names must be omitted from the submission, and references to their prior work should be in the third person. All artifacts, such as replication packages and tools, associated with the submission must also be anonymized. Any submission that does not comply with the above requirements may be rejected by the PC Chairs without further review. Authors with further questions on double-blind reviewing are encouraged to contact the Program Chairs by email. ==== Submissions ==== Submissions to the Research Papers Track that meet the above requirements can be made via HotCRP at https://icst2025.hotcrp.com/. If a submission is accepted, at least one author of the paper is required to register for ICST 2025 and present the paper. We expect that the conference will be in-person. ==== Replication Material ==== Submissions must supply all information needed to replicate the results and therefore are expected to include or point to an anonymized replication package with the necessary software, data, and instructions. The program committee may consult these packages to resolve open issues. If a paper does not come with a replication package, authors should comment on its absence. Wed 25 Sep 2024: Abstract Submission Deadline Wed 2 Oct 2024: Full Paper Submission Deadline Wed 18 Dec 2024: Author Notification Deadline Wed 22 Jan 2025: Camera Ready ---------------------------------------------------------------------------------------------------- Carolin Brandt and Michele Pasqua Publicity Co-Chairs ICST 2025

7 months, 1 week

IEEE Working Conference on Software Visualization

by Nour

Call for Papers VISSOFT 2024 (12th IEEE Working Conference on Software Visualization) ========================================================== VISSOFT 2024: 6-7 October 2024, Flagstaff, Arizona, U.S. http://vissoft.info/2024 New: Special Issue for invited VISSOFT 2024 papers under exploration. ========================================================== Software visualization is a broad research area whose general goal is to enhance and promote the theory, realization, and evaluation of approaches to visually encode and analyze software systems, including software development practices, evolution, structure, and software runtime behavior. Software visualization is inherently interdisciplinary, drawing on theories and techniques from areas such as information visualization, human-computer interaction, computer graphics, and data science, and applying these in the software engineering domain. The VISSOFT conference is principally a venue for publishing and discussing research related to software visualization. Consequently, VISSOFT brings together a community of researchers from software engineering, information visualization, human-computer interaction, computer graphics, and data science to discuss theoretical foundations, algorithms, techniques, tools, and applications related to software visualization. VISSOFT, co-located with ICSME, encourages a variety of submissions that address outstanding challenges in software systems using visualization. This includes technical papers, evaluations, and papers that present novel ideas and tools. Topics of interest include but are not limited to - Innovative visualization and visual analytics techniques for the analysis of software engineering data. This includes source code, dependencies, repositories, developer social networks like StackOverflow and GitHub, mobile app reviews, documentation, runtime logs, and DevOps data - Visualization to support software development activities, including design, requirements engineering, software maintenance, program comprehension, software performance, software testing, and debugging - Visual tools and frameworks for the direct development and maintenance of software, including visual programming languages and visual development environments - Interaction techniques and algorithms for software visualization - Visualization-based techniques in software engineering education - Integration of software visualization tools with development environments - Empirical evaluation of software visualizations, including eye-tracking - Industrial experience with using software visualization - Applications of new technologies to enhance software visualization, including virtual reality, augmented reality, speech, and machine learning - Analytical approaches to understanding software-related aspects based on data science concepts We solicit papers that present original, unpublished research results. Papers will be rigorously reviewed by an international program committee. In addition to full technical papers, VISSOFT features both a New Ideas and Emerging Results (NIER) Track and a Tools Track whose purpose is to present an idea still under development or to demonstrate the functionality of a newly developed tool. All accepted submissions will appear in the conference proceedings and the IEEE Digital Library. Submission Types Research Track A technical paper contribution must describe an in-depth and mature research result relevant to software visualization. The content of a technical paper can be a maximum of 10 pages long (including all figures, tables, and appendices). However, the 10-page limit does not include the bibliography, which is limited to two additional pages. All papers are required to include a user evaluation demonstrating their effectiveness, such as showcasing improvements over comparable tools or, if novel, demonstrating their utility and practical application. These papers will undergo evaluation using the same criteria as those in the Research track. The submission of a video (up to 5 minutes in length) to accompany the paper is highly encouraged to show interaction possibilities where this matters for understanding of the paper. Authors who wish to submit a video should add a URL to the video at the end of the abstract (e.g., Video URL: https://youtu.be/XXX). Paper Awards: VISSOFT 2024 may award distinguished technical papers. Artifact Evaluation: Paper authors are encouraged to submit research artifacts (e.g., tools, data repositories, frameworks, videos) for evaluation. For more details, please refer to the Artifact Evaluation Track. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 NIER Track The NIER Track of VISSOFT accepts New Ideas and Emerging Results. NIER contributions have a limit of 5 pages (including bibliography). NIER contributions describe work-in-progress and preliminary, exciting ideas and results. Authors are encouraged to include open questions and even provocative hypotheses to get early feedback on their research ideas. NIER contributions do not require an evaluation. One of the goals of the NIER Track is to foster collaboration among different research groups, by showcasing ideas which may lead to joint research activities. Paper Awards: VISSOFT 2024 may award distinguished NIER papers. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 Tools Track The Tools Track of VISSOFT accepts submissions describing already implemented and functional tools. Contributions to the Tools Track have a limit of 4 pages for short papers, and a limit of 10 pages for long papers (in both cases including all figures, tables, and appendices). For bibliography, short papers can use up to one additional page, and long papers up to two additional pages. Tools Track papers describe the design or actual utilization of software visualization tools, with a focus on the architecture of the tool or its use to gain new insights. We also invite submitting significant evolutions of tools already presented (in past VISSOFT editions or in other venues). Short tool papers usually just describe the presented tool, and will be evaluated mostly in terms of novelty and interest. Long tool papers are expected to present a user evaluation which shows evidence of its effectiveness, for instance, improvements over other similar tools, or if it is novel, showing its utility and practical use. Long papers will be evaluated following the same criteria as in the Research track. The submission of a video (up to 5 minutes in length) to accompany the paper is mandatory. Authors should add a URL to the video at the end of the abstract (e.g., Video URL: https://youtu.be/XXX). Paper Awards: VISSOFT 2024 may award distinguished tool papers. Showcase session: During the conference, we will organize an informal tool demonstration session where authors of TD papers are invited to demonstrate their tools. Artifact Evaluation: Paper authors are encouraged to submit their tools and other related artifacts (e.g., data repositories, videos) for evaluation. For more details, please refer to the Artifact Evaluation Track. Important Dates (23:59:59 AoE) Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 Notification: July 15, 2024 Submission link: https://easychair.org/conferences/?conf=vissoft2024 Artifact Evaluation Track Also this year, ICSME, VISSOFT, and SCAM have joined forces and present a single Artifact Evaluation Track for all three venues. We invite authors of papers of all lengths accepted to VISSOFT 2024 to submit artifacts associated with those papers for evaluation. Papers with artifacts that meet the review criteria will be awarded badges, noting their contributions to open science in SE. More information on the Call for Papers of the Joint Artifact Evaluation Track will be available at the ICSME 2024 web page ( https://conf.researchr.org/home/icsme-2024, see “Tracks” drop-down menu). Journal-First Track A submission to the VISSOFT 2024 call for journal-first paper presentations must adhere to the following criteria: - The paper was accepted by a relevant journal and it is in the scope of the conference - The paper was published between July 1, 2021 and July 19, 2024. - The paper reports new research results and/or presents novel contributions that significantly extend, and were not previously reported in, prior work - The paper has not been presented at and is not under consideration for journal-first programs of other conferences Authors of a paper that meets these criteria are invited to submit by email to vissoft2024(a)easychair.org a one-page presentation proposal consisting of the paper’s title, the paper’s authors, a short statement on how the work satisfies the journal first criteria, and a pointer to the original journal paper at the journal’s Website. If the paper is not online yet, then specify so. The original paper (or a preprint) should also be sent during submission. The journal-first manuscripts are published through the journals and will not be part of the Conference proceedings. The journal-first papers will be listed in the conference program. Journal first presentations will have the same presentation time as technical papers. Important Dates (23:59:59 AoE) Submission: July 19, 2024 Notification: July 29, 2024 Showcase Session As successfully done in the past, at VISSOFT 2024 authors of all accepted papers in all tracks, and specially in the Tools Track, will be invited to demonstrate their approaches and tools to the participants in an informal setting. More details will follow a few weeks before the conference. How to submit Papers must strictly adhere to the two-column IEEE conference proceedings format and the page. Please use the available IEEE Manuscript Templates for Conference Proceedings: https://www.ieee.org/conferences/publishing/templates.html If a submission is accepted for the journal-first program, at least one author of the associated journal paper must register and present the paper at the conference. Supplemental material (e.g., video, data, software) that might be helpful for reviewers can be linked in your paper. Note: VISSOFT uses a single-blind review process (i.e., the names and affiliations of the authors are revealed to reviewers but reviewers' identities are not revealed to authors). Important Dates All dates refer to midnight 23:59:59 AoE <http://www.timeanddate.com/time/zones/aoe>. Research, NIER, and Tools Track Journal First Track Paper Abstract: June 9, 2024 Paper Submission: June 16, 2024 July 19, 2024 Notification: July 15, 2024 July 29, 2024 Conference Date: October 6-7, 2024 Program Committee (to be completed) ========================================================== Nour Jihene Agouf Researcher in Computer Science at SogetiLabs

1 year, 1 month

Assistant Professor and PhD positions at the Univ. Rey Juan Carlos (Madrid, Spain)

by Gregorio Robles

[apologies in advance if you receive this email multiple times] The School of Engineering of Fuenlabrada at the Universidad Rey Juan Carlos, in the metropolitan area of Madrid - Spain, is recruiting i) a PhD position and ii) a tenure-track faculty position at the rank of Assistant Professor. Candidates with research interests across all domains relevant to computer science, especially in computer programming, robotics, computer networks, operating systems and web development are encouraged to apply. ===== Assistant Professor position ===== We are looking for candidates to fill an 6-year Assistant Professor position at the Universidad Rey Juan Carlos, in Madrid, Spain. With the new Spanish university law (LOSU), you only need to have a doctorate degree to be able to apply. In our group we teach computer networks, computer programming, robotics, operating systems and web development, among other subjects. The position is in person (not on-line) at the Fuenlabrada Campus, near Madrid capital. Lectures are held in Spanish (so a minimum level of Spanish language is required). The submission deadline is until November 24. The rules of the call are at https://www.urjc.es/empleo-publico#convocatoria-c29-profesor-ayudante-doctor Nominations can be submitted at https://gestion2.urjc.es/convocatoria/C29-23_24-4903 The position codes are: Y158/DL010181/C29, Y158/DL010182/C29, Y158/DL010183/C29 If you are interested, I recommend you contact me and I can give you more information. ===== PhD position ===== Do you want to do your PhD in the software development group at the Universidad Rey Juan Carlos (with Jesus Gonzalez-Barahona, Patxi Gortázar and Gregorio Robles)? We have opened a 4-year, full-time, on-site (in the Region of Madrid) position for research in software engineering, particularly in software repository mining, within a Spanish national research project. A master's degree (or equivalent is required). It is not required to speak Spanish, but then a good level of English is needed. Deadline to apply: November 30th, 2023. International applicants are welcome! Official call: https://sede.urjc.es/tablon-oficial/anuncio/11089/ Registration: https://gestion2.urjc.es/convocatoria/C1FPI2023-003-4930 If you want more details on any of the positions, you can reach me (Gregorio Robles) at grex(a)gsyc.urjc.es. -- Gregorio Robles Universidad Rey Juan Carlos Campus de Fuenlabrada (Madrid), España gregorio.robles(a)urjc.es | www.urjc.es | @URJC |

1 year, 5 months

2nd Summer School on Security Testing and Verification

by Coen DE ROOVER

=================================================================================================== 2nd Summer School on Security Testing and Verification 11-12-13 September, Brussels, Belgium https://cybersecurity-research.be/summer-school-on-security-testing-and-ver… =================================================================================================== The Vrije Universiteit Brussel and KU Leuven are pleased to announce their 2nd Summer School on Security Testing and Verification. It is aimed at researchers and PhD students who are interested in the fields of: - static and dynamic security testing - software verification - automated threat modelling - security by design and more. The 3-day program is taught in English and is organised on the Vrije Universiteit Brussel campus, in Brussels (Belgium). Participants will receive a certificate of attendance. The following lecturers have confirmed: * Bernhard Berger, Hamburg University of Technology, Germany - https://bergerbd.de * Neville Grech, University of Malta, Malta - https://www.nevillegrech.com * Vincent Laporte, INRIA Nancy, France - https://members.loria.fr/VLaporte/ * Michaël Marcozzi, Université Paris-Saclay, CEA List, France - https://sites.google.com/view/michaelmarcozzi/ * Burcu Kulahcioglu Ozkan, TU Delft, The Netherlands - https://burcuku.github.io/home/ * Jules Villard, Meta London, United Kingdom - http://jules.pauvre.org More information is available on the website: https://cybersecurity-research.be/summer-school-on-security-testing-and-ver… TUITION FEE 250€ : early bird fee, register before 31 July 350€ : register as of 1 August The tuition fee includes all the classes and course materials, lunches, coffee breaks, and social dinner. Accommodation is not included. REGISTRATION PROCESS To apply for the summer school, please send summerschool-stv(a)cs.kuleuven.be a cover letter with your motivation and background details (500 words max), as well as your resume and a recommendation letter (PDFs only). If your application is accepted, you’ll receive instructions on how to proceed with the payment. CO-CHAIRS Prof. Dr. Coen De Roover, Vrije Universiteit Brussel, Belgium Prof. Dr. Dominique Devriese, KU Leuven, Belgium Dr. Koen Yskout, KU Leuven, Belgium For more information: summerschool-stv(a)cs.kuleuven.be https://cybersecurity-research.be/summer-school-on-security-testing-and-ver…

1 year, 10 months

Assistant position computer science UMONS (in French)

by Tom MENS

Dear all, If you know someone interested in becoming a full-time assistant (50% teaching - 50% research) at the computer science department of a Faculty of Sciences of UMONS (Belgium), please diffuse the following information. Knowledge of French and good computing skills are required. Candidates need to provide their interest (CV + motivation letter) before 30 June, following the instructions in attached pdf. Tom Mens

1 year, 11 months

Full-time Tenure-Track Faculty Position in Cybersecurity at the University of Mons

by Tom MENS

http://informatique.umons.ac.be/job_offers<https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Finformatiq…> The University of Mons announces the opening of a full-time tenure-track faculty position at the assistant professor level. The position is opened jointly in the Faculty of Engineering and the Faculty of Science, with a starting date of September 1st, 2023. In a first stage, the person will be appointed for a period of three years, which can be extended with two extra years. The definitive appointment will be decided during or at the end of this period. The appointed person will take the lead of a new research group in the Faculty of Engineering. Qualified candidates must have a doctorate in a discipline related to computer science and/or engineering, and should have an outstanding research record in the field of Cybersecurity and/or Cryptography. A foreign diploma deemed equivalent will be accepted. Work experience in one or several of the following fields will be a welcome added bonus: IoT, edge and fog computing, AI, ethical hacking, software security, penetration testing. The selected person will develop research and teaching activities in this domain, will collaborate with existing research groups in the Faculty of Engineering and the Faculty of Science, and will be active in fundraising for industrial, governmental and European projects. The teaching activities will include the following Master level courses: • Ethical Hacking project (10 hours); • CyberDefense and Forensics (30 hours of lectures + 30 hours of practical work); • Cybersecurity (30 hours of lectures + 20 hours of practical work); • Selected Topics in Cybersecurity (30 hours of lectures + 20 hours of practical work). Some of these teaching activities can be taken by students in other disciplines. The appointed person will be active in teaching activities at the campus of the University of Mons in the city of Charleroi. Additional teaching duties will be gradually assigned at the Bachelor and Master levels in Computer Engineering and Management, in Electrical Engineering and in Computer Science, so that the appointed person will eventually reach the same teaching load as other faculty members in the Faculty of Engineering and the Faculty of Science. The appointed person should be capable to teach in the French and the English language. An appointed person who is not French-speaking should be capable of teaching in the French language within a period of at most two years, starting at September 1, 2023. According to the Belgian law, candidate letters, written in the French language, with a summary of titles, should be sent, by registered letter with request for acknowledgement of receipt, to: Monsieur le Recteur de l’Université de Mons, Place du Parc, 20, B-7000-Mons, Belgique; and by e-mail to secretariat.ca(a)umons.ac.b<mailto:secretariat.ca@umons.ac.be>e<mailto:secretariat.ca@umons.ac.be>, within 30 days of the official publication of this position in the “Moniteur belge” (see important note below). Candidate applications should include the following documents (in French or English): a motivation letter, curriculum vitae, a list of electronically accessible publications, a research plan in Cybersecurity (maximum five pages), a statement outlining the candidate’s view on teaching (maximum five pages), transcripts of diplomas, a copy of the five most important publications, and the names and addresses of three international experts that can serve as references. All additional information can be obtained from Prof. Véronique Feldheim, Dean of the Faculty of Engineering (veronique.<mailto:veronique.feldheim@umons.ac.be>feldheim<mailto:veronique.feldheim@umons.ac.be>@umons.ac.be<mailto:veronique.feldheim@umons.ac.be>) and Prof. Michel Voué, Dean of the Faculty of Sciences (doyen.fs(a)umons.ac.b<mailto:doyen.fs@umons.ac.be>e<mailto:doyen.fs@umons.ac.be>). Selected candidates will be invited for an interview including the teaching of a lesson and a discussion on teaching and research plans. IMPORTANT NOTE: According to the Belgian law, the preceding announcement will be published, in French, in the “Moniteur Belge” (i.e., the Belgian Official Gazette) during the month of April 2023. Applications should be made within a period of 30 days following this official publication. The Department of Computer Science will announce the exact date of the official publication in the Moniteur Belge at the following web page: http://informatique.umons.ac.be/job_offers<https://eur02.safelinks.protection.outlook.com/?url=http%3A%2F%2Finformatiq…>

2 years, 1 month

[Joint Call for Papers and Participation] Software Engineering @Salerno Week (featuring SATTOSE, the International Summer School on Software Engineering, and EMELIOT)

by Gilberto RECUPITO

Dear SATToSE members, We are pleased to announce the Software Engineering @Salerno Week, an international event which will be held on 12-15 June, 2023 within the University Campus located in Fisciano (close to Salerno). The SE week is organized by the Software Engineering (SeSa) Research Group. Salerno is located in Southern Italy (about 50 Km far from Naples) and it is very close to some of the most beautiful and historical places of Italy, such as the Amalfi Coast, Capri, Pompei, and Paestum. The Software Engineering @Salerno Week will feature three international events: The 15th edition of the Seminar Series on Advanced Techniques & Tools for Software Evolution (SATToSE, June 12-14, 2023 - http://sattose.org/2023). SATToSE seeks work in progress papers, publication summaries, and technology showdown demonstrations on themes connected to software visualization techniques, tools for co-evolving various software artifacts, their consistency management, runtime adaptability, and context awareness, as well as empirical results about software evolution. The Call for Papers is available on the SATToSE 2023 website. The 16th edition of the International Summer School on Software Engineering (ISSSE, June 13-15, 2023 - https://sesalabunisa.github.io/ISSSE-2023/). The school attracts Ph.D. students and young researchers from all around the world and aims at providing a forum to let these students get in touch with top Software Engineering scholars and the research they pursue. Ph.D. students will have the chance to showcase their research and receive feedback on their ongoing work. Ph.D. students will have the chance to make an exam and get 3 ETCS, if required by their universities. More information about the school are available on the ISSSE 2023 website. The 1st edition of the Workshop on Engineering Machined Learning-Intensive IoT Systems (EMELIOT). This is a thematic workshop on topics connected to the development, design, testing, maintenance, and evolution of complex IoT systems enabled by machine learning algorithms. EMELIOT seeks to foster discussion on the next advances and challenges for the software engineering community with respect to the engineering aspects of machine learning-intensive IoT systems. More information about the workshop are available on the ISSSE 2023 website. The three events will have a blended program and will feature keynotes of top-tier software engineering researchers. We are delighted to release our lineup of speakers: - Luciano Baresi, Politecnico di Milano (Italy) - Massimiliano Di Penta (University of Sannio, Italy) - Mark Harman (Meta & University College London, United Kingdom) - Helena Holmstrom Olsson (Malmo University, Sweden) - Alexander Serebrenik (Eindhoven University of Technology, The Netherlands) - Mairieli Wessel (Radboud University, The Netherlands) The registration deadline is fixed on May 5, 2023. The school is intended to be as an in-person event, yet there will be a remote component to allow the participation of students who cannot attend the SE week physically. The registration fees are the following: * Full-week ticket (SATTOSE + ISSSE + EMELIOT) - 4 days - 350€ * Only-SATTOSE ticket - 3 days - 300€ * Only-ISSSE ticket - 3 days - 300€ * Remote Full-week ticket (SATTOSE + ISSSE + EMELIOT) - 4 days - 90€ * Remote Only-SATTOSE ticket - 3 days - 75€ * Remote Only-ISSSE ticket - 3 days - 75€ The registration form can be found at the following link: https://forms.gle/kf2jFUGLhgfnfKLQ7. Inquiries about the SE-Week @Salerno can be forwarded to the following email address: sesalab(a)unisa.it. Best regards, Fabio Palomba, Dario Di Nucci, Carmine Gravino, Andrea De Lucia, Filomena Ferrucci, Gilberto Recupito, Vincenzo De Martino, Stefano Lambiase, Valeria Pontillo

2 years, 1 month

Open faculty position in "Software Technology" at Vrije Universiteit Brussel, Belgium

by Coen DE ROOVER

The Software Languages Lab (http://soft.vub.ac.be/) of the Vrije Universiteit Brussel (https://www.vub.be) in Belgium has a vacancy for a full-time professor (assistant, associate, or full) in the broad domain of Software Technology (e.g., programming languages, software engineering, database systems, …) Please consult https://jobs.vub.be/job/Elsene-Professor-'Software-Technology'/88… for more details about the call. Applications should reach us through the same platform by March 15th. Wolfgang De Meuter Coen De Roover Elisa Gonzalez Boix Bas Ketsman

2 years, 3 months

PhD positions in UMONS (Belgium) on Software Development Automation Ecosystems

by Tom MENS

The Software Engineering Lab of the University of Mons (Belgium) has two vacant positions for PhD candidates to work on a research project focusing on the analysis and support of development automation in collaborative software development settings. More details can be found on https://secoassist.github.io/jobs.html Qualified candidates need to: - be available to start the position no later than September 2023 (preferably earlier). - have a masters degree in computer science, software engineering, or an equivalent 5-year degree programme that shows the required skills in software engineering and data science that are needed to carry out the PhD research. - have very good knowledge of English (knowledge of French is a plus even if not strictly required). Official application should include: - A personalised motivation letter, explaining why the candidate is the best fit for the vacant PhD position. - A list of all degrees obtained, together with the grade transcripts of each year/semester and (if available) ranking. - A short curriculum vitae detailing the past experience (education, research and professional) of the candidate. - A digital copy of the master thesis. - If applicable, a digital copy of any (co-)authored publications demonstrating the expected expertise. - If applicable, a link to one or more of the candidate's projects related to data analysis or Python programming (e.g., a link to a public GitHub repository). - Contact details and reference letters of two or more referees that we may contact. Interested applicants should reach out to Dr. Alexandre Decan (alexandre.decan(a)umons.ac.be) by e-mail. Alexandre Decan (announcement forwarded by Tom Mens)

2 years, 3 months

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

SATToSE