Essays about: "Synthesizing"

Showing result 21 - 25 of 120 essays containing the word Synthesizing.

1. 21. Increasing Trust in Software by Synthesizing Property-based Tests from Existing Unit Tests : A study on the expansion of existing test suites through the creation of property-based tests via invariants inferred from existing example-based unit tests

   University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

   Author : Richard Uggelberg; [2022]
   Keywords : Software Testing; Software Engineering; Test Improvement; Property-based Testing; Invariant Detection; Mjukvarutestning; Mjukvarukonstruktion; Testförbättring; Egenskapsbaserad Testning; Invariantdetektion;

   Abstract : Many software projects include an extensive suite of example-based unit tests. The examples in the test suite can be used as an implicit specification of the behavior of the software. Inferring invariants from these examples may aid in the creation of property-based tests. READ MORE

3. 22. Off with the Offset: The Reshaping of Voluntary Carbon Market Post-Paris Agreement

   University essay from Handelshögskolan i Stockholm/Institutionen för företagande och ledning

   Author : Shilin Wang; Arnachani Riaseta; [2022]
   Keywords : Paris Agreement; Voluntary Carbon Market; Carbon offsetting; Market-shaping; Market work;

   Abstract : The 2015 Paris Agreement presented a fundamental disruption to the fabric of international carbon markets, while at the same time it has been increasing voluntary demand for carbon credits. As a result, voluntary carbon market (VCM) actors, particularly those producing and distributing carbon credits, are facing an intriguing dilemma. READ MORE

4. 23. The Effectiveness of Creative Writing for Motivating and Developing VocabularyAcquisitions in the ESL Classroom

   University essay from Malmö universitet/Institutionen för kultur, språk och medier (KSM)

   Author : Manh Duong; Hadi Berro; [2022]
   Keywords : Motivation; Motivating; Student engagement; Vocabulary; Vocabulary learning; Vocabulary acquisition; Creative writing; CW.;

   Abstract : This study investigates the effectiveness of adopting a Creative Writing method to motivate and develop vocabulary learning in an ESL/EFL (English as a second language/English as a foreign language) context. This research also investigates the effectiveness of adapting CW as a teaching method and its approaches for facilitating vocabulary learning for upper-secondary English students. READ MORE

5. 24. Secure Application Development

   University essay from Linnéuniversitetet/Institutionen för datavetenskap och medieteknik (DM)

   Author : Alaa Alwan; [2022]
   Keywords : secure development; application security; static application security testing; SAST;

   Abstract : Security testing is a widely applied measure to evaluate and improve software security by identifying vulnerabilities and ensuring security requirements related to properties like confidentiality, integrity, and availability. A confidentiality policy guarantees that attackers will not be able to expose secret information. READ MORE

6. 25. Genetically modified tobacco (Nicotiana tabacum) plants for an increased production of wax esters

   University essay from SLU/Dept. Of Plant Biology

   Author : Linn Nilsson; [2022]
   Keywords : Wax esters; metabolic engineering; nicotiana tabacum; fatty acid reductase; phytyl ester synthase;

   Abstract : Wax esters (WE) are naturally occurring lipids consisting of a fatty acid bound to a fatty alcohol with an ester bond. As an alternative to petrochemicals, plant-derived WE:s are of considerable commercial interest as lubricants, but have in recent years also received great attention for their potential as a starting material for bio-fuel production. READ MORE