English
Related papers

Related papers: Test Case Prioritization Techniques for Model-Base…

200 papers

Reliably quantifying the confidence of deep neural classifiers is a challenging yet fundamental requirement for deploying such models in safety-critical applications. In this paper, we introduce a novel target criterion for model…

Computer Vision and Pattern Recognition · Computer Science 2021-06-01 Charles Corbière , Nicolas Thome , Antoine Saporta , Tuan-Hung Vu , Matthieu Cord , Patrick Pérez

Regression test case prioritization (RTCP) aims to improve the rate of fault detection by executing more important test cases as early as possible. Various RTCP techniques have been proposed based on different coverage criteria. Among them,…

Software Engineering · Computer Science 2020-07-02 Rubing Huang , Quanjun Zhang , Dave Towey , Weifeng Sun , Jinfu Chen

Temporal reasoning and planning are essential capabilities for large language models (LLMs), yet most existing benchmarks evaluate them in isolation and under limited forms of complexity. To address this gap, we introduce the Temporal…

Artificial Intelligence · Computer Science 2025-10-14 Zifeng Ding , Sikuan Yan , Zhangdie Yuan , Xianglong Hu , Fangru Lin , Andreas Vlachos

Test case prioritization (TCP) has been an effective strategy to optimize regression testing. Traditionally, test cases are ordered based on some heuristic and rerun against the version under test with the goal of yielding a high failure…

Software Engineering · Computer Science 2024-12-03 Shouvick Mondal , Tse-Hsun Chen

Test case prioritization focuses on finding a suitable order of execution of the test cases in a test suite to meet some performance goals like detecting faults early. It is likely that some test cases execute the program parts that are…

Software Engineering · Computer Science 2025-08-27 S. Panda , D. Munjal , D. P. Mohapatra

Parallel Transport Control Protocol (TCP) has been used to effectively utilize bandwidth for data intensive applications over high Bandwidth-Delay Product (BDP) networks. On the other hand, it has been argued that, a single-based TCP…

Networking and Internet Architecture · Computer Science 2016-09-07 Mohamed A. Alrshah , Mohamed Othman

Model-based testing (MBT) provides an automated approach for finding discrepancies between software models and their implementation. If we want to incorporate MBT into the fast and iterative software development process that is Continuous…

Software Engineering · Computer Science 2023-05-02 P. H. M. van Spaendonck

Driven by the primary requirement of emerging 5G mobile services, the demand for concurrent multipath transfer (CMT) is still prominent. Yet, multipath transport protocols are not widely adopted and TCP-based CMT schemes will still be in…

Networking and Internet Architecture · Computer Science 2018-04-10 Jiayang Song , Ping Dong , Huachun Zhou , Tao Zheng , Xiaojiang Du , Mohsen Guizani

Testing is a significant aspect of software development. As systems become complex and their use becomes critical to the security and the function of society, the need for testing methodologies that ensure reliability and detect faults as…

Software Engineering · Computer Science 2021-12-09 Yeshayahu Weiss

Modern mobile and stationary devices are equipped with multiple network interfaces aiming to provide wireless and wireline connectivity either in a local LAN or the Internet. Multipath TCP (MPTCP) protocol has been developed on top of…

Networking and Internet Architecture · Computer Science 2025-11-19 Dimitrios Dimopoulos , Apostolis K. Salkintzis , Dimitris Tsolkas , Nikos Passas , Lazaros Merakos

Recent empirical studies have explored the idea of continuing to train a model at test-time for a given task, known as test-time training (TTT), and have found it to yield significant performance improvements. However, there is limited…

Machine Learning · Computer Science 2026-02-10 Jonas Hübotter , Patrik Wolf , Alexander Shevchenko , Dennis Jüni , Andreas Krause , Gil Kur

Context: Test-driven development (TDD) is an agile software development approach that has been widely claimed to improve software quality. However, the extent to which TDD improves quality appears to be largely dependent upon the…

Over the past years, TCP has gone through numerous updates to provide performance enhancement under diverse network conditions. However, with respect to losses, little can be achieved with legacy TCP detection and recovery mechanisms. Both…

Networking and Internet Architecture · Computer Science 2018-07-31 Simone Ferlin , Stepan Kucera , Holger Claussen , Ozgu Alay

This paper discusses a model-based approach to testing as a vital part of software development. It argues that an approach using models as central development artifact needs to be added to the portfolio of software engineering techniques,…

Software Engineering · Computer Science 2014-09-24 Bernhard Rumpe

Multipath TCP (MPTCP) has been widely used as an efficient way for communication in many applications. Data centers, smartphones, and network operators use MPTCP to balance the traffic in a network efficiently. MPTCP is an extension of TCP…

Networking and Internet Architecture · Computer Science 2023-09-19 Maisha Maliha , Golnaz Habibi , Mohammed Atiquzzaman

Ensuring that software performance does not degrade after a code change is paramount. A solution is to regularly execute software microbenchmarks, a performance testing technique similar to (functional) unit tests, which, however, often…

Software Engineering · Computer Science 2024-04-19 Christoph Laaber , Tao Yue , Shaukat Ali

The use of relevant metrics of software systems could improve various software engineering tasks, but identifying relationships among metrics is not simple and can be very time consuming. Recommender systems can help with this…

Software Engineering · Computer Science 2018-01-23 Maral Azizi , Hyunsook Do

TCP parameters in most of the operating systems are optimized for generic home and office environments having low latencies in their internal networks. However, this arrangement invariably results in a compromized network performance when…

Networking and Internet Architecture · Computer Science 2019-09-06 Mohsin Khalil , Farid Ullah Khan

Closed-loop flow control protocols, such as the prominent implementation TCP, are prevalent in the Internet, today. TCP has continuously been improved for greedy traffic sources to achieve high throughput over networks with large bandwidth…

Networking and Internet Architecture · Computer Science 2016-09-05 Ralf Lübben , Markus Fidler

Randomized controlled trials (RCTs) are the gold standard for causal inference, yet practical constraints often limit the size of the concurrent control arm. Borrowing control data from previous trials offers a potential efficiency gain,…

Methodology · Statistics 2026-03-17 Linying Yang , Xing Liu , Robin J. Evans