FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W830338198> ?p ?o ?g. }

• W830338198 abstract "All human beings make mistakes. Programmers are human beings. Thus programmers make mistakes. This seemingly harmless syllogism can have disastrous consequences for the society. As larger parts of our economic and social life rely on computers, software bugs caused by programming mistakes do pose an increasing thread. An example which has left its mark in people's minds is the Ariane 5 rocket explosion in flight, due to an integer overflow in the onboard computer. In current software engineering practice, testing is the primary approach to locate programming mistakes. Before going into production, software is thus tested in a set of real scenarios, in order to detect the bugs at best. Nevertheless, the concrete process enabling software testing in practice is complex, repetitive and costly. This is why researchers and industrialists have been working to automate it for long. The idea is notably that the computer helps the programmer to select automatically the most relevant test scenarios. An interesting technique to do so is symbolic execution, today in use at Nasa and Microsoft. Technically, given a code unit to test, symbolic execution enables the computer to generate test values for the input parameters, making it possible to cover a representative set of execution paths in the code. The present work introduces an extension for symbolic execution, enabling one to use this approach in a new context: testing transactional and data-oriented code units. This kind of code units, frequent in practice, is characterized by a brief and targeted interaction with a relational database, storing large amounts of information in a structured way. Finding bugs in such a kind of code unit is critical, as it can avoid corrupting possibly very important data. In order to achieve this, our work goes back to the theoretical foundations of relational databases and proposes a relational symbolic execution mechanism for SQL. This enables generating automatically input data, including some valid content for the database, making it possible to test the considered code unit with an adequate coverage. The proposed extension is implemented within a tool and evaluated over code samples mixing Java and SQL statements. Our approach is compared with related work. A set of research directions to make it usable at a larger scale are identified and discussed." @default.
• W830338198 created "2016-06-24" @default.
• W830338198 creator A5032640551 @default.
• W830338198 date "2014-01-01" @default.
• W830338198 modified "2023-09-27" @default.
• W830338198 title "Automatic Test Generation for Data-Driven Applications" @default.
• W830338198 hasPublicationYear "2014" @default.
• W830338198 type Work @default.
• W830338198 sameAs 830338198 @default.
• W830338198 citedByCount "0" @default.
• W830338198 crossrefType "journal-article" @default.
• W830338198 hasAuthorship W830338198A5032640551 @default.
• W830338198 hasConcept C11219265 @default.
• W830338198 hasConcept C115903868 @default.
• W830338198 hasConcept C148027188 @default.
• W830338198 hasConcept C199360897 @default.
• W830338198 hasConcept C2777904410 @default.
• W830338198 hasConcept C2778514511 @default.
• W830338198 hasConcept C2779639559 @default.
• W830338198 hasConcept C41008148 @default.
• W830338198 hasConceptScore W830338198C11219265 @default.
• W830338198 hasConceptScore W830338198C115903868 @default.
• W830338198 hasConceptScore W830338198C148027188 @default.
• W830338198 hasConceptScore W830338198C199360897 @default.
• W830338198 hasConceptScore W830338198C2777904410 @default.
• W830338198 hasConceptScore W830338198C2778514511 @default.
• W830338198 hasConceptScore W830338198C2779639559 @default.
• W830338198 hasConceptScore W830338198C41008148 @default.
• W830338198 hasLocation W8303381981 @default.
• W830338198 hasOpenAccess W830338198 @default.
• W830338198 hasPrimaryLocation W8303381981 @default.
• W830338198 hasRelatedWork W101896819 @default.
• W830338198 hasRelatedWork W1633650022 @default.
• W830338198 hasRelatedWork W1698975189 @default.
• W830338198 hasRelatedWork W2084730932 @default.
• W830338198 hasRelatedWork W2118090364 @default.
• W830338198 hasRelatedWork W2141966805 @default.
• W830338198 hasRelatedWork W2151829269 @default.
• W830338198 hasRelatedWork W2161266370 @default.
• W830338198 hasRelatedWork W2182846365 @default.
• W830338198 hasRelatedWork W2228165877 @default.
• W830338198 hasRelatedWork W2397203449 @default.
• W830338198 hasRelatedWork W2518873817 @default.
• W830338198 hasRelatedWork W2528040273 @default.
• W830338198 hasRelatedWork W2956125792 @default.
• W830338198 hasRelatedWork W405971428 @default.
• W830338198 hasRelatedWork W812827368 @default.
• W830338198 hasRelatedWork W951206141 @default.
• W830338198 hasRelatedWork W99337313 @default.
• W830338198 hasRelatedWork W2099477770 @default.
• W830338198 hasRelatedWork W30976955 @default.
• W830338198 isParatext "false" @default.
• W830338198 isRetracted "false" @default.
• W830338198 magId "830338198" @default.
• W830338198 workType "article" @default.