English
Related papers

Related papers: Automated Test Data Generation for Enterprise Prot…

200 papers

Set-based transformer models for amortized probabilistic inference and meta-learning, such as neural processes, prior-fitted networks, and tabular foundation models, excel at single-pass marginal prediction. However, many applications…

Configuration space complexity makes the big-data software systems hard to configure well. Consider Hadoop, with over nine hundred parameters, developers often just use the default configurations provided with Hadoop distributions. The…

Systems and Control · Electrical Eng. & Systems 2020-06-24 Rahul Krishna , Chong Tang , Kevin Sullivan , Baishakhi Ray

Decision trees are widely used in high-stakes fields like finance and healthcare due to their interpretability. This work introduces an efficient, scalable method for generating synthetic pre-training data to enable meta-learning of…

Machine Learning · Computer Science 2025-11-07 Kyaw Hpone Myint , Zhe Wu , Alexandre G. R. Day , Giri Iyengar

[Context:] Model-based testing is an instrument for automated generation of test cases. It requires identifying requirements in documents, understanding them syntactically and semantically, and then translating them into a test model. One…

Software Engineering · Computer Science 2019-08-26 Jannik Fischbach , Maximilian Junker , Andreas Vogelsang , Dietmar Freudenstein

Synthetic data augmentation has emerged as a promising solution when pre-training is constrained by data rather than compute. We study how to design synthetic data algorithms that achieve better loss scaling: not only lowering loss at…

Machine Learning · Computer Science 2026-03-20 Konwoo Kim , Suhas Kotha , Yejin Choi , Tatsunori Hashimoto , Nick Haber , Percy Liang

Synchronous systems provide a basic model of embedded systems and industrial systems are modeled as Simulink diagrams and/or Lustre programs. Although the test generation problem is critical in the development of safe systems, it often…

Software Engineering · Computer Science 2021-12-13 Daisuke Ishii , Takashi Tomita , Kenji Onishi , Toshiaki Aoki

Synthetic data generation has emerged as a crucial topic for financial institutions, driven by multiple factors, such as privacy protection and data augmentation. Many algorithms have been proposed for synthetic data generation but reaching…

Machine Learning · Computer Science 2024-05-13 Shinpei Nakamura-Sakai , Fadi Hamad , Saheed Obitayo , Vamsi K. Potluru

Successful data-driven science requires complex data engineering pipelines to clean, transform, and alter data in preparation for machine learning, and robust results can only be achieved when each step in the pipeline can be justified, and…

Databases · Computer Science 2024-04-08 Adriane Chapman , Luca Lauro , Paolo Missier , Riccardo Torlone

The advent of multipoint (multicast-based) applications and the growth and complexity of the Internet has complicated network protocol design and evaluation. In this paper, we present a method for automatic synthesis of worst and best case…

Networking and Internet Architecture · Computer Science 2007-05-23 Ahmed Helmy , Sandeep Gupta , Deborah Estrin , Alberto Cerpa , Yan Yu

With the rapid growth of software scale and complexity, a large number of bug reports are submitted to the bug tracking system. In order to speed up defect repair, these reports need to be accurately classified so that they can be sent to…

Software Engineering · Computer Science 2022-08-03 Fanqi Meng , Xuesong Wang , Jingdong Wang , Peifang Wang

Evaluation of Internet protocols usually uses random scenarios or scenarios based on designers' intuition. Such approach may be useful for average-case analysis but does not cover boundary-point (worst or best-case) scenarios. To synthesize…

Networking and Internet Architecture · Computer Science 2016-11-17 Ahmed Helmy , Sandeep Gupta , Deborah Estrin

The proliferation of heterogeneous configurations in distributed systems presents significant challenges in ensuring stability and efficiency. Misconfigurations, driven by complex parameter interdependencies, can lead to critical failures.…

Systems and Control · Electrical Eng. & Systems 2024-12-17 Deyi Xing , Weicong Chen , Curtis Tatsuoka , Xiaoyi Lu

Modern Python projects execute computational functions using native libraries and give Python interfaces to boost execution speed; hence, testing these libraries becomes critical to the project's robustness. One challenge is that existing…

Software Engineering · Computer Science 2022-06-29 Xin Zhang , Xutong Ma , Jiwen Yan , Baoquan Cui , Jun Yan , Jian Zhang

Testing processes and workflows in information and Internet of Things systems is a major part of the typical software testing effort. Consistent and efficient path-based test cases are desired to support these tests. Because certain parts…

Software Engineering · Computer Science 2019-03-21 Miroslav Bures , Bestoun S. Ahmed , Kamal Z. Zamli

Generative models have become a powerful tool for synthesizing training data in computer vision tasks. Current approaches solely focus on aligning generated images with the target dataset distribution. As a result, they capture only the…

Computer Vision and Pattern Recognition · Computer Science 2026-01-08 Zerun Wang , Jiafeng Mao , Xueting Wang , Toshihiko Yamasaki

Metagenomics offers a way to analyze biotopes at the genomic level and to reach functional and taxonomical conclusions. The bio-analyzes of large metagenomic projects face critical limitations: complex metagenomes cannot be assembled and…

Genomics · Quantitative Biology 2015-11-30 Maillet Nicolas , Collet Guillaume , Vanier Thomas , Lavenier Dominique , Pierre Peterlongo

Genetic programming is an evolutionary approach known for its performance in program synthesis. However, it is not yet mature enough for a practical use in real-world software development, since usually many training cases are required to…

Software Engineering · Computer Science 2023-01-23 Dominik Sobania , Martin Briesch , Philipp Röchner , Franz Rothlauf

The biological functions of proteins often depend on dynamic structural ensembles. In this work, we develop a flow-based generative modeling approach for learning and sampling the conformational landscapes of proteins. We repurpose highly…

Biomolecules · Quantitative Biology 2024-09-04 Bowen Jing , Bonnie Berger , Tommi Jaakkola

Existing variance reduction techniques used in stochastic simulations for rare event analysis still require a substantial number of model evaluations to estimate small failure probabilities. In the context of complex, nonlinear finite…

Machine Learning · Computer Science 2025-08-04 Liuyun Xu , Seymour M. J. Spence

An anomaly detection method based on deep autoencoders is proposed to address anomalies that often occur in enterprise-level ETL data streams. The study first analyzes multiple types of anomalies in ETL processes, including delays, missing…

Machine Learning · Computer Science 2025-11-04 Xin Chen , Saili Uday Gadgil , Kangning Gao , Yi Hu , Cong Nie