Výsledky vyhledávání - "General and reference Cross-computing tools and techniques Validation"

Static detection of cross-site scripting vulnerabilities Autor Wassermann, G., Zhendong Su

“…Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site…”
Získat plný text

Exploiting Input Sanitization for Regex Denial of Service Autor Barlas, Efe, Du, Xin, Davis, James C.

“…Web services use server-side input sanitization to guard against harmful input. Some web services publish their sanitization logic to make their client…”
Získat plný text

Formally Verified Cloud-Scale Authorization Autor Chakarov, Aleks, Geldenhuys, Jaco, Heck, Matthew, Hicks, Michael, Huang, Sam, Jaloyan, Georges-Axel, Joshi, Anjali, Leino, K. Rustan M., Mayer, Mikael, McLaughlin, Sean, Mritunjai, Akhilesh, Pit-Claudel, Clement, Porncharoenwase, Sorawee, Rabe, Florian, Rapoport, Marianna, Reger, Giles, Roux, Cody, Rungta, Neha, Salkeld, Robin, Schlaipfer, Matthias, Schoepe, Daniel, Schwartzentruber, Johanna, Tasiran, Serdar, Tomb, Aaron, Torlak, Emina, Tristan, Jean-Baptiste, Wagner, Lucas, Whalen, Michael W., Willems, Remy, Xiang, Tongtong, Byun, Tae Joon, Cohen, Joshua, Fang, Ruijie, Jang, Junyoung, Rath, Jakob, Syeda, Hira Taqdees, Wagner, Dominik, Yuan, Yongwei

“…All critical systems must evolve to meet the needs of a growing and diversifying user base. But supporting that evolution is challenging at increasing scale:…”
Získat plný text

Comparing design and code metrics for software quality prediction Autor Jiang, Yue, Cuki, Bojan, Menzies, Tim, Bartlow, Nick

“…The prediction of fault-prone modules continues to attract interest due to the significant impact it has on software quality assurance. One of the most…”
Získat plný text

An Empirical Study of Proxy Contracts at the Ethereum Ecosystem Scale Autor Zhang, Mengya, Shukla, Preksha, Zhang, Wuqi, Zhang, Zhuo, Agrawal, Pranav, Lin, Zhiqiang, Zhang, Xiangyu, Zhang, Xiaokuan

“…The proxy design pattern separates data and code in smart contracts into proxy and logic contracts. Data resides in proxy contracts, while code is sourced from…”
Získat plný text

Safety in Autonomous Driving: Can Tools Offer Guarantees? Autor Fremont, Daniel J., Sangiovanni-Vincentelli, Alberto L., Seshia, Sanjit A.

“…Persistent challenges in making autonomous vehicles safe and reliable have hampered their widespread deployment. We believe that formal methods will play an…”
Získat plný text

On gender, ethnicity, and culture in empirical software engineering research Autor Gren, Lucas

“…This note highlights the importance of investigating diversity aspects in combination in empirical research. It draws on the psychological discourse and…”
Získat plný text

Inferring better contracts Autor Wei, Yi, Furia, Carlo A., Kazmin, Nikolay, Meyer, Bertrand

“…Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs…”
Získat plný text

SAT-Based Arithmetic Support for Alloy Autor Cornejo, Cesar

“…Formal specifications in Alloy are organized around user-defined data domains, associated with signatures, with almost no support for built-in datatypes. This…”
Získat plný text

Probing for Requirements Knowledge to Stimulate Architectural Thinking Autor Anish, Preethu Rose, Balasubramaniam, Balaji, Sainani, Abhishek, Cleland-Huang, Jane, Daneva, Maya, Wieringa, Roel J., Ghaisas, Smita

“…Software requirements specifications (SRSs) often lack the detail needed to make informed architectural decisions. Architects therefore either make…”
Získat plný text

Efficient hybrid typestate analysis by determining continuation-equivalent states Autor Bodden, Eric

“…Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable,…”
Získat plný text

An effort and time based measure of usability Autor Tamir, Dan, Komogortsev, Oleg V, Mueller, Carl J

“…The hypothesis of this research is that usability relates to the physical effort that is required in order to use software in the accomplishment of interactive…”
Získat plný text

Using software engineering technology to improve the quality of medical processes Autor Clarke, Lori A, Avrunin, George A, Osterweil, Leon J

“…In this paper, we describe some of the key observations resulting from our work on using software engineering technologies to help detect errors in medical…”
Získat plný text

Model-based testing of automotive software: Some challenges and solutions Autor Petrenko, Alexandre, Timo, Omer Nguena, Ramesh, S.

“…Automotive software has been growing in size, criticality and complexity with each new generation of vehicles. Testing at the model and code level is an…”
Získat plný text

An investigation into coupling measures for C++ Autor Briand, Lionel, Devanbu, Prem, Melo, Walcelio

“…This paper proposes a comprehensive suite of measures to quantify the level of class coupling during the design of object-oriented systems. This suite takes…”
Získat plný text

Continuous, Low Overhead, Run-Time Validation of Program Executions Autor Aktas, Erdem, Afram, Furat, Ghose, Kanad

“…The construction of trustworthy systems demands that the execution of every piece of code is validated as genuine, that is, the executed codes do exactly what…”
Získat plný text

ML-On-Rails: Safeguarding Machine Learning Models in Software Systems - A Case Study Autor Abdelkader, Hala, Abdelrazek, Mohamed, Barnett, Scott, Schneider, Jean-Guy, Rani, Priya, Vasa, Rajesh

“…Machine learning (ML), especially with the emergence of large language models (LLMs), has significantly transformed various industries. However, the transition…”
Získat plný text

Towards quantitative software reliability assessment in incremental development processes Autor Fujii, Toshiya, Dohi, Tadashi, Fujiwara, Takaji

“…The iterative and incremental development is becoming a major development process model in industry, and allows us for a good deal of parallelism between…”
Získat plný text

Towards a methodology for lifelong validation of service compositions Autor Bianculli, Domenico, Ghezzi, Carlo

“…We argue that the dynamic nature of compositions in service-oriented architectures requires re-thinking the whole lifetime of an application, from…”
Získat plný text

Evaluating Social Perception of Human-to-Robot Handovers Using the Robot Social Attributes Scale (RoSAS) Autor Pan, Matthew K.X.J., Croft, Elizabeth A., Niemeyer, Günter

“…This work explores social perceptions of robots within the domain of human-to-robot handovers. Using the Robotic Social Attributes Scale (RoSAS), we explore…”
Získat plný text