English
Related papers

Related papers: Research of Load Testing and Result Based on Loadr…

200 papers

This study develops a deep learning-based approach to automate inbound load plan adjustments for a large transportation and logistics company. It addresses a critical challenge for the efficient and resilient planning of E-commerce…

Machine Learning · Computer Science 2024-11-27 Thomas Bruys , Reza Zandehshahvar , Amira Hijazi , Pascal Van Hentenryck

This paper studies the joint fleet sizing and charging system planning problem for a company operating a fleet of autonomous electric vehicles (AEVs) for passenger and goods transportation. Most of the relevant published papers focus on…

Optimization and Control · Mathematics 2018-11-02 Hongcai Zhang , Colin J. R. Sheppard , Timothy E. Lipman , Scott J. Moura

This paper provides a few approaches to automating computer programming and project submission tasks, that we have been following for the last six years and have found to be successful. The approaches include using CodeRunner with Learning…

Software Engineering · Computer Science 2024-04-09 Bama Srinivasan , Mala Nehru , Ranjani Parthasarathi , Saswati Mukherjee , Jeena A Thankachan

Systems tend to become more and more complex. This has a direct impact on system engineering processes. Two of the most important phases in these processes are requirements engineering and quality assurance. Two significant complexity…

Software Engineering · Computer Science 2013-03-06 Stephan Weißleder , Hartmut Lackner

Autonomous stores leverage advanced sensing technologies to enable cashier-less shopping, real-time inventory tracking, and seamless customer interactions. However, these systems face significant challenges, including occlusion in…

Signal Processing · Electrical Eng. & Systems 2025-03-12 Shimmy Rukundo , David Wang , Front Wongnonthawitthaya , Youssouf Sidibé , Minsik Kim , Emily Su , Jiale Zhang

As network traffic monitoring software for cybersecurity, malware detection, and other critical tasks becomes increasingly automated, the rate of alerts and supporting data gathered, as well as the complexity of the underlying model,…

Artificial Intelligence · Computer Science 2013-05-14 Kartik Talamadupula , Octavian Udrea , Anton Riabov , Anand Ranganathan

Embedded systems are ubiquitous and play critical roles in management systems for industry and transport. Software failures in these domains may lead to loss of production or even loss of life, so the software in these systems needs to be…

Software Engineering · Computer Science 2021-11-17 Per Erik Strandberg

The quality and correct functioning of software components embedded in electronic systems are of utmost concern especially for safety and mission-critical systems. Model-based testing and formal verification techniques can be employed to…

Formal Languages and Automata Theory · Computer Science 2019-01-08 Shahbaz Ali , Hailong Sun , Yongwang Zhao

Context. Multiple automated techniques have been proposed and developed for mobile application GUI testing aiming to improve effectiveness, efficiency, and practicality. The effectiveness, efficiency, and practicality are 3 fundamental…

Software Engineering · Computer Science 2019-01-01 Yauhen Leanidavich Arnatovich , Lipo Wang

E-commerce platforms are increasingly reliant on recommendation systems to enhance user experience, retain customers, and, in most cases, drive sales. The integration of machine learning methods into these systems has significantly improved…

Information Retrieval · Computer Science 2025-06-24 Aneta Poniszewska-Maranda , Magdalena Pakula , Bozena Borowska

This paper addresses the validation of electric vehicle supply equipment by means of a real-time capable co-simulation approach. This setup implies both pure software and real-time simulation tasks with different sampling rates dependent on…

Systems and Control · Computer Science 2018-12-27 Felix Lehfuss , Georg Lauss , Christian Seitl , Fabian Leimgruber , Martin Noehrer , Thomas I. Strasser

Measuring and analyzing the performance of software has reached a high complexity, caused by more advanced processor designs and the intricate interaction between user programs, the operating system, and the processor's microarchitecture.…

Performance · Computer Science 2018-11-21 Martin Becker , Samarjit Chakraborty

Given a program and a time deadline, does the program finish before the deadline when executed on a given platform? With the requirement to produce a test case when such a violation can occur, we refer to this problem as the worst-case…

Programming Languages · Computer Science 2015-06-22 Daniel Bundala , Sanjit A. Seshia

Formal software testing education is important for building efficient QA professionals. Various aspects of quality assurance approaches are usually covered in courses for training software testing students. Automated Test Tools is one of…

Software Engineering · Computer Science 2024-06-03 Susmita Haldar , Mary Pierce , Luiz Fernando Capretz

System modeling is a classical approach to ensure their reliability since it is suitable both for a formal verification and for software testing techniques. In the context of model-based testing an approach combining random testing and…

Software Engineering · Computer Science 2018-06-14 Julien Bernard , Pierre-Cyrille Héam , Olga Kouchnarenko

Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in…

Load-forecasting problems have already been widely addressed with different approaches, granularities and objectives. Recent studies focus not only on deep learning methods but also on forecasting loads on single building level. This study…

Systems and Control · Electrical Eng. & Systems 2020-07-15 Thomas Steens , Jan-Simon Telle , Benedikt Hanke , Karsten von Maydell , Carsten Agert , Gian-Luca di Modica , Bernd Engel , Matthias Grottke

There are many widely used tools for measuring test-coverage and code-coverage. Test coverage is the ratio of requirements or other non-code artifacts covered by a test suite, while code-coverage is the ratio of source code covered by…

Software Engineering · Computer Science 2024-08-13 Vahid Garousi , Alper Buğra Keleş , Yunus Balaman , Alper Mermer , Zeynep Özdemir Güler

The growth of Internet has led to new approaches for distance education. The main mechanisms involved in this process are distance learning and distance evaluation. Distance learning have multiple forms, from browsing and finding…

Computers and Society · Computer Science 2014-06-03 Stefan Gheorghe Pentiuc , Felicia Giza , Ovidiu Andrei Schipor

Artificial Intelligence (AI) / Machine Learning (ML)-based systems are widely sought-after commercial solutions that can automate and augment core business services. Intelligent systems can improve the quality of services offered and…

Machine Learning · Computer Science 2021-03-26 Akriti Chadda , Kelly Song , Raman Chandrasekar , Ian Gorton