Large Language Models Based Automatic Synthesis of Software Specifications

Autor: Mandal, Shantanu, Chethan, Adhrik, Janfaza, Vahid, Mahmud, S M Farabi, Anderson, Todd A, Turek, Javier, Tithi, Jesmin Jahan, Muzahid, Abdullah

Software configurations play a crucial role in determining the behavior of software systems. In order to ensure safe and error-free operation, it is necessary to identify the correct configuration, along with their valid bounds and rules, which are c

Externí odkaz: http://arxiv.org/abs/2304.09181

Conditional MaxRS Query for Evolving Spatial Data.

Autor: Mas-Ud Hussain M; Department of Electrical Engineering and Computer Science, Northwestern University, Evanston, IL, United States., Mostafiz MI; Department of Computer Science and Engineering, Bangladesh University of Engineering and Technology, Dhaka, Bangladesh., Mahmud SMF; Department of Computer Science and Engineering, Bangladesh University of Engineering and Technology, Dhaka, Bangladesh., Trajcevski G; Department of Electrical and Computer Engineering, Iowa State University, Ames, IA, United States., Eunus Ali M; Department of Computer Science and Engineering, Bangladesh University of Engineering and Technology, Dhaka, Bangladesh.

Publikováno v: Frontiers in big data [Front Big Data] 2020 Jun 19; Vol. 3, pp. 20. Date of Electronic Publication: 2020 Jun 19 (Print Publication: 2020).