in TOUGH2 User’s Guide, Version 2.0, 1999). in Comput Geosci 32:145–165, 2006) coupled to the TMGAS EOS module (Battistelli and Marcolini in Int J Greenh Gas Control 3:481–493, 2009) developed for the TOUGH2 family of reservoir simulators (Pruess et al. The simulations are performed with the TOUGHREACT simulator (Xu et al. Within a R&D project funded by Eni, we set up a numerical model to investigate the rock–cement alterations driven by the injection of CO2 into a depleted sweet natural gas pool. Such studies are important for injectivity assurance, wellbore integrity, and risk assessment required for CO2 sequestration site qualification. The injection of a reactive gas such as CO2 puts emphasis on the possible alteration of reservoir and caprock formations and especially of the wells’ cement sheaths induced by the modification of chemical equilibria. Arcuri is the main-author of EvoMaster and a former co-author of EvoSuite, which are open-source tools that can automatically generate test cases using evolutionary algorithms.The injection of CO2 in exploited natural gas reservoirs as a means to reduce greenhouse gas (GHG) emissions is highly attractive as it takes place in well-known geological structures of proven integrity with respect to gas leakage. Having worked 5 years in industry as a senior engineer, a main focus of his research is to design novel research solutions that can actually be used in practice. His main research interests are in software testing, especially test case generation using evolutionary algorithms. Andrea Arcuri is a Professor of Software Engineering at Kristiania University College and OsloMet, Oslo, Norway. EvoMaster has been used to test millions of lines of code, finding thousands of real faults in existing APIs.īio - Dr. For white-box testing, EvoMaster employs many different heuristics to improve performance, like testability transformations, taint analysis and SQL handling/monitoring. It can be used for both black-box and white-box testing. EvoMaster uses advanced evolutionary techniques to evolve high coverage test cases. Submit your paper at: VST 2023 Eas圜hair submission siteĪbstract - In this talk, I will present the open-source test generation tool EvoMaster ( It targets system test generation for web services, such as REST, GraphQL and RPC APIs. Submissions are required in PDF format via Eas圜hair at Papers must be original work that has neither appeared elsewhere for publication nor which is under review for another publication Papers must comply with the IEEE policy on authorship. Submissions should be prepared for a full double-blind review process (author names and affiliations should be omitted and references to own work should be in the third person) Papers must conform to the IEEE formatting guidelines for conference proceedings Papers must not exceed the page limit of 8 pages (including all text, references, appendices, and figures), position papers and tool demos 2-4 pages Accepted papers will be published in the IEEE Digital Library along with the SANER proceedings. Paper selection is based on scientific originality, novelty, and the potential to generate interesting discussions. Papers will be by reviewed by at least three program committee members following a full double-blind review process. In addition, we will also allow position papers and tool demo papers of two to four pages. We encourage submissions on the topics mentioned above with a page limit of max 8 pages, IEEE format. Regression test selection and prioritizationįor previous editions of this workshop visit:.Change impact analysis for software tests.Test results analysis and bug reporting.Test execution monitoring and visualization.The workshop invites high quality submissions related, but are not limited, to: The International Workshop on Validation, Analysis and Evolution of Software Tests (VST) is a unique event bringing together academics, industrial researchers, and practitioners for exchanging experiences, solutions, and new ideas in applying methods, techniques and tools from software analysis, evolution and re-engineering to advance the state of the art in test development and maintenance. Extra effort is required for repairing broken tests and for adapting test suites and models to evolving software systems. Over time, the reliability of the tests decreases, and they become difficult to understand and maintain. Software projects accumulate large sets of test cases, encoding valuable expert knowledge about the system under test to the extent of many person years.
0 Comments
Leave a Reply. |