Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(static AND dynamic program analysis). Showing records 1 – 30 of 592 total matches.

[1] [2] [3] [4] [5] … [20]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Languages

Country

▼ Search Limiters


University of Toronto

1. Wong, Michelle Yan Yi. Targeted Dynamic Analysis for Android Malware.

Degree: 2015, University of Toronto

The identification and analysis of Android malware involves either static or dynamic program analysis of the malware binary. While static analysis has good code coverage,… (more)

Subjects/Keywords: android; constraint solving; dynamic analysis; malware; program analysis; static analysis; 0464

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wong, M. Y. Y. (2015). Targeted Dynamic Analysis for Android Malware. (Masters Thesis). University of Toronto. Retrieved from http://hdl.handle.net/1807/69183

Chicago Manual of Style (16th Edition):

Wong, Michelle Yan Yi. “Targeted Dynamic Analysis for Android Malware.” 2015. Masters Thesis, University of Toronto. Accessed May 06, 2021. http://hdl.handle.net/1807/69183.

MLA Handbook (7th Edition):

Wong, Michelle Yan Yi. “Targeted Dynamic Analysis for Android Malware.” 2015. Web. 06 May 2021.

Vancouver:

Wong MYY. Targeted Dynamic Analysis for Android Malware. [Internet] [Masters thesis]. University of Toronto; 2015. [cited 2021 May 06]. Available from: http://hdl.handle.net/1807/69183.

Council of Science Editors:

Wong MYY. Targeted Dynamic Analysis for Android Malware. [Masters Thesis]. University of Toronto; 2015. Available from: http://hdl.handle.net/1807/69183


McMaster University

2. Chen, Wen. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.

Degree: PhD, 2015, McMaster University

 This work is concerned with analysing the potential impact of direct changes to large- scale enterprise systems, and, in particular, how to minimise testing efforts… (more)

Subjects/Keywords: software impact analysis; static analysis; dynamic analysis; reachability analysis; alias analysis; program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chen, W. (2015). A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/18275

Chicago Manual of Style (16th Edition):

Chen, Wen. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” 2015. Doctoral Dissertation, McMaster University. Accessed May 06, 2021. http://hdl.handle.net/11375/18275.

MLA Handbook (7th Edition):

Chen, Wen. “A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems.” 2015. Web. 06 May 2021.

Vancouver:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Internet] [Doctoral dissertation]. McMaster University; 2015. [cited 2021 May 06]. Available from: http://hdl.handle.net/11375/18275.

Council of Science Editors:

Chen W. A Hybrid Software Change Impact Analysis for Large-scale Enterprise Systems. [Doctoral Dissertation]. McMaster University; 2015. Available from: http://hdl.handle.net/11375/18275


University of Waterloo

3. Parvez, Muhammad Riyad. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries.

Degree: 2016, University of Waterloo

 Manual software testing is laborious and prone to human error. Yet, it is the most popular method for quality assurance. Automating the test-case generation promises… (more)

Subjects/Keywords: software testing; automated test-case generation; static program analysis; symbolic execution; dynamic program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Parvez, M. R. (2016). Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/10500

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Parvez, Muhammad Riyad. “Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries.” 2016. Thesis, University of Waterloo. Accessed May 06, 2021. http://hdl.handle.net/10012/10500.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Parvez, Muhammad Riyad. “Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries.” 2016. Web. 06 May 2021.

Vancouver:

Parvez MR. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries. [Internet] [Thesis]. University of Waterloo; 2016. [cited 2021 May 06]. Available from: http://hdl.handle.net/10012/10500.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Parvez MR. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries. [Thesis]. University of Waterloo; 2016. Available from: http://hdl.handle.net/10012/10500

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Colorado State University

4. Bandyopadhyay, Aritra. Mitigating the effect of coincidental correctness in spectrum based fault localization.

Degree: PhD, Computer Science, 2013, Colorado State University

 Coincidentally correct test cases are those that execute faulty program statements but do not result in failures. The presence of such test cases in a… (more)

Subjects/Keywords: software fault localization and debugging; test selection and classification; static and dynamic program analysis; software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bandyopadhyay, A. (2013). Mitigating the effect of coincidental correctness in spectrum based fault localization. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/80137

Chicago Manual of Style (16th Edition):

Bandyopadhyay, Aritra. “Mitigating the effect of coincidental correctness in spectrum based fault localization.” 2013. Doctoral Dissertation, Colorado State University. Accessed May 06, 2021. http://hdl.handle.net/10217/80137.

MLA Handbook (7th Edition):

Bandyopadhyay, Aritra. “Mitigating the effect of coincidental correctness in spectrum based fault localization.” 2013. Web. 06 May 2021.

Vancouver:

Bandyopadhyay A. Mitigating the effect of coincidental correctness in spectrum based fault localization. [Internet] [Doctoral dissertation]. Colorado State University; 2013. [cited 2021 May 06]. Available from: http://hdl.handle.net/10217/80137.

Council of Science Editors:

Bandyopadhyay A. Mitigating the effect of coincidental correctness in spectrum based fault localization. [Doctoral Dissertation]. Colorado State University; 2013. Available from: http://hdl.handle.net/10217/80137


Delft University of Technology

5. de Boer, Y.J.I. (author). Authorship Attribution of Malware Binaries.

Degree: 2020, Delft University of Technology

 Attribution of the malware to the developers writing the malware is an important factor in cybercrime investigative work. Clustering together not only malware of the… (more)

Subjects/Keywords: Malware families; Clustering; Malware binary; Dynamic Analysis; Static Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

de Boer, Y. J. I. (. (2020). Authorship Attribution of Malware Binaries. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:8546cb88-eb01-4946-baca-0a5d1846cb92

Chicago Manual of Style (16th Edition):

de Boer, Y J I (author). “Authorship Attribution of Malware Binaries.” 2020. Masters Thesis, Delft University of Technology. Accessed May 06, 2021. http://resolver.tudelft.nl/uuid:8546cb88-eb01-4946-baca-0a5d1846cb92.

MLA Handbook (7th Edition):

de Boer, Y J I (author). “Authorship Attribution of Malware Binaries.” 2020. Web. 06 May 2021.

Vancouver:

de Boer YJI(. Authorship Attribution of Malware Binaries. [Internet] [Masters thesis]. Delft University of Technology; 2020. [cited 2021 May 06]. Available from: http://resolver.tudelft.nl/uuid:8546cb88-eb01-4946-baca-0a5d1846cb92.

Council of Science Editors:

de Boer YJI(. Authorship Attribution of Malware Binaries. [Masters Thesis]. Delft University of Technology; 2020. Available from: http://resolver.tudelft.nl/uuid:8546cb88-eb01-4946-baca-0a5d1846cb92


University of Connecticut

6. Gionet, Thomas G. The Structural Response of a Frame-Membrane Lunar Habitat Subjected to Impact and Thermal Loads.

Degree: MS, Civil Engineering, 2011, University of Connecticut

  Due to their lightweight, ease of construction, and sturdy design, three-dimensional frame-membrane structures have often been used as semi-permanent structures by the military and… (more)

Subjects/Keywords: Lunar Structures; Impact; Thermal; Finite Element; Frequency; Static Analysis; Dynamic Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gionet, T. G. (2011). The Structural Response of a Frame-Membrane Lunar Habitat Subjected to Impact and Thermal Loads. (Masters Thesis). University of Connecticut. Retrieved from https://opencommons.uconn.edu/gs_theses/159

Chicago Manual of Style (16th Edition):

Gionet, Thomas G. “The Structural Response of a Frame-Membrane Lunar Habitat Subjected to Impact and Thermal Loads.” 2011. Masters Thesis, University of Connecticut. Accessed May 06, 2021. https://opencommons.uconn.edu/gs_theses/159.

MLA Handbook (7th Edition):

Gionet, Thomas G. “The Structural Response of a Frame-Membrane Lunar Habitat Subjected to Impact and Thermal Loads.” 2011. Web. 06 May 2021.

Vancouver:

Gionet TG. The Structural Response of a Frame-Membrane Lunar Habitat Subjected to Impact and Thermal Loads. [Internet] [Masters thesis]. University of Connecticut; 2011. [cited 2021 May 06]. Available from: https://opencommons.uconn.edu/gs_theses/159.

Council of Science Editors:

Gionet TG. The Structural Response of a Frame-Membrane Lunar Habitat Subjected to Impact and Thermal Loads. [Masters Thesis]. University of Connecticut; 2011. Available from: https://opencommons.uconn.edu/gs_theses/159


University of Victoria

7. Shortt, Caleb James. Hermes: A Targeted Fuzz Testing Framework.

Degree: Department of Computer Science, 2015, University of Victoria

 The use of security assurance cases (security cases) to provide evidence-based assurance of security properties in software is a young field in Software Engineering. A… (more)

Subjects/Keywords: security; fuzz testing; genetic algorithm; static analysis; dynamic analysis; hermes; assurance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shortt, C. J. (2015). Hermes: A Targeted Fuzz Testing Framework. (Masters Thesis). University of Victoria. Retrieved from http://hdl.handle.net/1828/5907

Chicago Manual of Style (16th Edition):

Shortt, Caleb James. “Hermes: A Targeted Fuzz Testing Framework.” 2015. Masters Thesis, University of Victoria. Accessed May 06, 2021. http://hdl.handle.net/1828/5907.

MLA Handbook (7th Edition):

Shortt, Caleb James. “Hermes: A Targeted Fuzz Testing Framework.” 2015. Web. 06 May 2021.

Vancouver:

Shortt CJ. Hermes: A Targeted Fuzz Testing Framework. [Internet] [Masters thesis]. University of Victoria; 2015. [cited 2021 May 06]. Available from: http://hdl.handle.net/1828/5907.

Council of Science Editors:

Shortt CJ. Hermes: A Targeted Fuzz Testing Framework. [Masters Thesis]. University of Victoria; 2015. Available from: http://hdl.handle.net/1828/5907


University of Southern California

8. Shi, Hang. Optimal design, nonlinear analysis and shape control of deployable mesh reflectors.

Degree: PhD, Mechanical Engineering, 2014, University of Southern California

 This dissertation presents the research on optimal design, nonlinear analysis and shape control of the perimeter truss deployable mesh reflector (DMR) as a type of… (more)

Subjects/Keywords: deployable mesh reflector; optimal design; static analysis; dynamic analysis; shape control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Shi, H. (2014). Optimal design, nonlinear analysis and shape control of deployable mesh reflectors. (Doctoral Dissertation). University of Southern California. Retrieved from http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/305403/rec/4602

Chicago Manual of Style (16th Edition):

Shi, Hang. “Optimal design, nonlinear analysis and shape control of deployable mesh reflectors.” 2014. Doctoral Dissertation, University of Southern California. Accessed May 06, 2021. http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/305403/rec/4602.

MLA Handbook (7th Edition):

Shi, Hang. “Optimal design, nonlinear analysis and shape control of deployable mesh reflectors.” 2014. Web. 06 May 2021.

Vancouver:

Shi H. Optimal design, nonlinear analysis and shape control of deployable mesh reflectors. [Internet] [Doctoral dissertation]. University of Southern California; 2014. [cited 2021 May 06]. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/305403/rec/4602.

Council of Science Editors:

Shi H. Optimal design, nonlinear analysis and shape control of deployable mesh reflectors. [Doctoral Dissertation]. University of Southern California; 2014. Available from: http://digitallibrary.usc.edu/cdm/compoundobject/collection/p15799coll3/id/305403/rec/4602


Vilnius University

9. Samuchovas, Andrejus. Panemunės inžinerinės-geologinės sąlygos. Statinio bei dinaminio zondavimo tyrimo rezultatų analizė.

Degree: Master, 2009, Vilnius University

Santrauka Temos aktualumas. Populiariausias Lietuvoje naudojamas būdas stipruminėms grunto savybėms nustatyti yra statinis zondavimas. Tuo tarpu dinaminis zondavimas naudojamas labai retai, dažniausiai tik ten kur… (more)

Subjects/Keywords: Analysis of Results of Static and dynamic Probing Tests

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Samuchovas, Andrejus. (2009). Panemunės inžinerinės-geologinės sąlygos. Statinio bei dinaminio zondavimo tyrimo rezultatų analizė. (Masters Thesis). Vilnius University. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20090908_192055-48536 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Samuchovas, Andrejus. “Panemunės inžinerinės-geologinės sąlygos. Statinio bei dinaminio zondavimo tyrimo rezultatų analizė.” 2009. Masters Thesis, Vilnius University. Accessed May 06, 2021. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20090908_192055-48536 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Samuchovas, Andrejus. “Panemunės inžinerinės-geologinės sąlygos. Statinio bei dinaminio zondavimo tyrimo rezultatų analizė.” 2009. Web. 06 May 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Samuchovas, Andrejus. Panemunės inžinerinės-geologinės sąlygos. Statinio bei dinaminio zondavimo tyrimo rezultatų analizė. [Internet] [Masters thesis]. Vilnius University; 2009. [cited 2021 May 06]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20090908_192055-48536 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Samuchovas, Andrejus. Panemunės inžinerinės-geologinės sąlygos. Statinio bei dinaminio zondavimo tyrimo rezultatų analizė. [Masters Thesis]. Vilnius University; 2009. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2006~D_20090908_192055-48536 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


University of Cape Town

10. Holliday, Wendy. Intrinsic factors, performance and dynamic kinematics in optimisation of cycling biomechanics.

Degree: PhD, Human Biology, 2019, University of Cape Town

 Kinematic measurements conducted during bike set-ups utilise either static or dynamic measures. There is currently limited data on reliability of static and dynamic measures nor… (more)

Subjects/Keywords: Bicycle; bike fitting; static; dynamic; 3D analysis; kinematics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Holliday, W. (2019). Intrinsic factors, performance and dynamic kinematics in optimisation of cycling biomechanics. (Doctoral Dissertation). University of Cape Town. Retrieved from http://hdl.handle.net/11427/31052

Chicago Manual of Style (16th Edition):

Holliday, Wendy. “Intrinsic factors, performance and dynamic kinematics in optimisation of cycling biomechanics.” 2019. Doctoral Dissertation, University of Cape Town. Accessed May 06, 2021. http://hdl.handle.net/11427/31052.

MLA Handbook (7th Edition):

Holliday, Wendy. “Intrinsic factors, performance and dynamic kinematics in optimisation of cycling biomechanics.” 2019. Web. 06 May 2021.

Vancouver:

Holliday W. Intrinsic factors, performance and dynamic kinematics in optimisation of cycling biomechanics. [Internet] [Doctoral dissertation]. University of Cape Town; 2019. [cited 2021 May 06]. Available from: http://hdl.handle.net/11427/31052.

Council of Science Editors:

Holliday W. Intrinsic factors, performance and dynamic kinematics in optimisation of cycling biomechanics. [Doctoral Dissertation]. University of Cape Town; 2019. Available from: http://hdl.handle.net/11427/31052


Univerzitet u Beogradu

11. Stojanović, Željko P., 1973-. Sinteza i karakterizacija nekih derivata skroba rastvorivih u vodi.

Degree: Tehnološko-metalurški fakultet, 2014, Univerzitet u Beogradu

Hemija i hemijska tehnologija - hemija i inzenjerstvo polimera / Chemistry and chemical engineering Polymer Chemistry and Polymer Engineering

Predmet istraživanja ove doktorske disertacije bila… (more)

Subjects/Keywords: carboxymethyl starch; cationic starch; static and dynamic light scattering; thermogravimetric analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Stojanović, Željko P., 1. (2014). Sinteza i karakterizacija nekih derivata skroba rastvorivih u vodi. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:8052/bdef:Content/get

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Stojanović, Željko P., 1973-. “Sinteza i karakterizacija nekih derivata skroba rastvorivih u vodi.” 2014. Thesis, Univerzitet u Beogradu. Accessed May 06, 2021. https://fedorabg.bg.ac.rs/fedora/get/o:8052/bdef:Content/get.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Stojanović, Željko P., 1973-. “Sinteza i karakterizacija nekih derivata skroba rastvorivih u vodi.” 2014. Web. 06 May 2021.

Vancouver:

Stojanović, Željko P. 1. Sinteza i karakterizacija nekih derivata skroba rastvorivih u vodi. [Internet] [Thesis]. Univerzitet u Beogradu; 2014. [cited 2021 May 06]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:8052/bdef:Content/get.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Stojanović, Željko P. 1. Sinteza i karakterizacija nekih derivata skroba rastvorivih u vodi. [Thesis]. Univerzitet u Beogradu; 2014. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:8052/bdef:Content/get

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Cranfield University

12. Gaheen, Mohammed El-Nabawey A. Static and dynamic finite element analysis of pneumatic tyres including anisotropic and nonlinear effects.

Degree: PhD, 1987, Cranfield University

 This thesis introduces a versatile finite element package, which is tailored for the static and dynamic analysis of radial tyres. A new axisymmetric solid-of-revolution element… (more)

Subjects/Keywords: 629.049; Tyre static/dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Gaheen, M. E. A. (1987). Static and dynamic finite element analysis of pneumatic tyres including anisotropic and nonlinear effects. (Doctoral Dissertation). Cranfield University. Retrieved from http://dspace.lib.cranfield.ac.uk/handle/1826/3406 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379046

Chicago Manual of Style (16th Edition):

Gaheen, Mohammed El-Nabawey A. “Static and dynamic finite element analysis of pneumatic tyres including anisotropic and nonlinear effects.” 1987. Doctoral Dissertation, Cranfield University. Accessed May 06, 2021. http://dspace.lib.cranfield.ac.uk/handle/1826/3406 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379046.

MLA Handbook (7th Edition):

Gaheen, Mohammed El-Nabawey A. “Static and dynamic finite element analysis of pneumatic tyres including anisotropic and nonlinear effects.” 1987. Web. 06 May 2021.

Vancouver:

Gaheen MEA. Static and dynamic finite element analysis of pneumatic tyres including anisotropic and nonlinear effects. [Internet] [Doctoral dissertation]. Cranfield University; 1987. [cited 2021 May 06]. Available from: http://dspace.lib.cranfield.ac.uk/handle/1826/3406 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379046.

Council of Science Editors:

Gaheen MEA. Static and dynamic finite element analysis of pneumatic tyres including anisotropic and nonlinear effects. [Doctoral Dissertation]. Cranfield University; 1987. Available from: http://dspace.lib.cranfield.ac.uk/handle/1826/3406 ; http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.379046


University of Melbourne

13. Neelofar. Spectrum-based fault localization using machine learning.

Degree: 2017, University of Melbourne

 Debugging is critical in the production of reliable software. One of the effective bug localization techniques is Spectrum-based Fault Localization (SBFL). This technique locates a… (more)

Subjects/Keywords: SBFL; Debugging and Verification, Software Testing; Static and Dynamic Analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Neelofar. (2017). Spectrum-based fault localization using machine learning. (Doctoral Dissertation). University of Melbourne. Retrieved from http://hdl.handle.net/11343/212432

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Neelofar. “Spectrum-based fault localization using machine learning.” 2017. Doctoral Dissertation, University of Melbourne. Accessed May 06, 2021. http://hdl.handle.net/11343/212432.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Neelofar. “Spectrum-based fault localization using machine learning.” 2017. Web. 06 May 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Neelofar. Spectrum-based fault localization using machine learning. [Internet] [Doctoral dissertation]. University of Melbourne; 2017. [cited 2021 May 06]. Available from: http://hdl.handle.net/11343/212432.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Neelofar. Spectrum-based fault localization using machine learning. [Doctoral Dissertation]. University of Melbourne; 2017. Available from: http://hdl.handle.net/11343/212432

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


University of Ottawa

14. Fu, Jingyi J.Y. Delay Analysis of Digital Circuits Using Prony's Method .

Degree: 2011, University of Ottawa

 This thesis describes possible applications of Prony's method in timing analysis of digital circuits. Such applications include predicting the future shape of the waveform in… (more)

Subjects/Keywords: Prony's method; Timing Analysis; Obreshokov; numerical method; Dynamic Timing Analysis (DTA); Static Timing Analysis (STA)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fu, J. J. Y. (2011). Delay Analysis of Digital Circuits Using Prony's Method . (Thesis). University of Ottawa. Retrieved from http://hdl.handle.net/10393/20125

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Fu, Jingyi J Y. “Delay Analysis of Digital Circuits Using Prony's Method .” 2011. Thesis, University of Ottawa. Accessed May 06, 2021. http://hdl.handle.net/10393/20125.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Fu, Jingyi J Y. “Delay Analysis of Digital Circuits Using Prony's Method .” 2011. Web. 06 May 2021.

Vancouver:

Fu JJY. Delay Analysis of Digital Circuits Using Prony's Method . [Internet] [Thesis]. University of Ottawa; 2011. [cited 2021 May 06]. Available from: http://hdl.handle.net/10393/20125.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Fu JJY. Delay Analysis of Digital Circuits Using Prony's Method . [Thesis]. University of Ottawa; 2011. Available from: http://hdl.handle.net/10393/20125

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Houston

15. Hervey, Marcus W. 1970-. Enhanced Debugging of Data Races in Parallel Programs Using OpenMP.

Degree: MS, Computer Science, 2016, University of Houston

 Parallel computing is pervasive. The variety and number of parallel hardware architectures increase daily. As this technology evolves, parallel developers will need productivity enhancing tools… (more)

Subjects/Keywords: Data races; Parallel programming; Static-analysis; Dynamic-analysis; Complementary-analysis; Debugging; RaceFree

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hervey, M. W. 1. (2016). Enhanced Debugging of Data Races in Parallel Programs Using OpenMP. (Masters Thesis). University of Houston. Retrieved from http://hdl.handle.net/10657/1711

Chicago Manual of Style (16th Edition):

Hervey, Marcus W 1970-. “Enhanced Debugging of Data Races in Parallel Programs Using OpenMP.” 2016. Masters Thesis, University of Houston. Accessed May 06, 2021. http://hdl.handle.net/10657/1711.

MLA Handbook (7th Edition):

Hervey, Marcus W 1970-. “Enhanced Debugging of Data Races in Parallel Programs Using OpenMP.” 2016. Web. 06 May 2021.

Vancouver:

Hervey MW1. Enhanced Debugging of Data Races in Parallel Programs Using OpenMP. [Internet] [Masters thesis]. University of Houston; 2016. [cited 2021 May 06]. Available from: http://hdl.handle.net/10657/1711.

Council of Science Editors:

Hervey MW1. Enhanced Debugging of Data Races in Parallel Programs Using OpenMP. [Masters Thesis]. University of Houston; 2016. Available from: http://hdl.handle.net/10657/1711


RMIT University

16. Quinn, P. Code Red: Mobile, a live/synthetic test bed for firefighter training.

Degree: 2014, RMIT University

 The State of Victoria, Australia is prone to disastrous bushfires. The Country Fire Authority of Victoria is the principal bushfire response organisation. Local brigades of… (more)

Subjects/Keywords: Fields of Research; Live/Synthetic training; dynamic-static; static media; spatio-temporal analysis; fractal analysis; firefighters

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Quinn, P. (2014). Code Red: Mobile, a live/synthetic test bed for firefighter training. (Thesis). RMIT University. Retrieved from http://researchbank.rmit.edu.au/view/rmit:160701

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Quinn, P. “Code Red: Mobile, a live/synthetic test bed for firefighter training.” 2014. Thesis, RMIT University. Accessed May 06, 2021. http://researchbank.rmit.edu.au/view/rmit:160701.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Quinn, P. “Code Red: Mobile, a live/synthetic test bed for firefighter training.” 2014. Web. 06 May 2021.

Vancouver:

Quinn P. Code Red: Mobile, a live/synthetic test bed for firefighter training. [Internet] [Thesis]. RMIT University; 2014. [cited 2021 May 06]. Available from: http://researchbank.rmit.edu.au/view/rmit:160701.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Quinn P. Code Red: Mobile, a live/synthetic test bed for firefighter training. [Thesis]. RMIT University; 2014. Available from: http://researchbank.rmit.edu.au/view/rmit:160701

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

17. Eyolfson, Jonathan. Enforcing Abstract Immutability.

Degree: 2018, University of Waterloo

 Researchers have recently proposed a number of systems for expressing, verifying, and inferring immutability declarations. These systems are often rigid, and do not support "abstract… (more)

Subjects/Keywords: immutability; static analysis; dynamic analysis

…6.5.4 JPure . . . . . . . . . . . . . . . . . . . 6.5.5 Combined Static and Dynamic Analysis… …dynamic and static analysis to detect and enforce immutability properties. 2.1 Immutability… …6.3.3 Abstract Machine . . . . . . . . . . . . . 6.4 Dynamic Analysis… …6.5 Static Analysis . . . . . . . . . . . . . . . . . . 6.5.1 Stationary Fields… …encode available const-ness restrictions on variables. . . . . Dynamic analysis rules showing… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Eyolfson, J. (2018). Enforcing Abstract Immutability. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/13507

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Eyolfson, Jonathan. “Enforcing Abstract Immutability.” 2018. Thesis, University of Waterloo. Accessed May 06, 2021. http://hdl.handle.net/10012/13507.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Eyolfson, Jonathan. “Enforcing Abstract Immutability.” 2018. Web. 06 May 2021.

Vancouver:

Eyolfson J. Enforcing Abstract Immutability. [Internet] [Thesis]. University of Waterloo; 2018. [cited 2021 May 06]. Available from: http://hdl.handle.net/10012/13507.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Eyolfson J. Enforcing Abstract Immutability. [Thesis]. University of Waterloo; 2018. Available from: http://hdl.handle.net/10012/13507

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Kingston University

18. Di Troia, Fabio. Machine learning classification for advanced malware detection.

Degree: PhD, 2020, Kingston University

 This introductory document discusses topics related to malware detection via the application of machine learning algorithms. It is intended as a supplement to the published… (more)

Subjects/Keywords: machine learning; malware detection; clustering; hidden Markov models; support vector machines; dynamic analysis; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Di Troia, F. (2020). Machine learning classification for advanced malware detection. (Doctoral Dissertation). Kingston University. Retrieved from http://eprints.kingston.ac.uk/id/eprint/48022/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.825041

Chicago Manual of Style (16th Edition):

Di Troia, Fabio. “Machine learning classification for advanced malware detection.” 2020. Doctoral Dissertation, Kingston University. Accessed May 06, 2021. http://eprints.kingston.ac.uk/id/eprint/48022/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.825041.

MLA Handbook (7th Edition):

Di Troia, Fabio. “Machine learning classification for advanced malware detection.” 2020. Web. 06 May 2021.

Vancouver:

Di Troia F. Machine learning classification for advanced malware detection. [Internet] [Doctoral dissertation]. Kingston University; 2020. [cited 2021 May 06]. Available from: http://eprints.kingston.ac.uk/id/eprint/48022/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.825041.

Council of Science Editors:

Di Troia F. Machine learning classification for advanced malware detection. [Doctoral Dissertation]. Kingston University; 2020. Available from: http://eprints.kingston.ac.uk/id/eprint/48022/ ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.825041


University of Delaware

19. De La Rosa, Leonardo. Improving the effectiveness and efficiency of dynamic malware analysis using machine learning.

Degree: PhD, University of Delaware, Institute for Financial Services Analytics, 2018, University of Delaware

 The malware threat landscape is constantly evolving, with upwards of one million new variants being released every day. Traditional approaches for detecting and classifying malware… (more)

Subjects/Keywords: Applied sciences; Dynamic analysis; Important capabilities; Machine learning; Malware classification; Malware detection; Static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

De La Rosa, L. (2018). Improving the effectiveness and efficiency of dynamic malware analysis using machine learning. (Doctoral Dissertation). University of Delaware. Retrieved from http://udspace.udel.edu/handle/19716/23984

Chicago Manual of Style (16th Edition):

De La Rosa, Leonardo. “Improving the effectiveness and efficiency of dynamic malware analysis using machine learning.” 2018. Doctoral Dissertation, University of Delaware. Accessed May 06, 2021. http://udspace.udel.edu/handle/19716/23984.

MLA Handbook (7th Edition):

De La Rosa, Leonardo. “Improving the effectiveness and efficiency of dynamic malware analysis using machine learning.” 2018. Web. 06 May 2021.

Vancouver:

De La Rosa L. Improving the effectiveness and efficiency of dynamic malware analysis using machine learning. [Internet] [Doctoral dissertation]. University of Delaware; 2018. [cited 2021 May 06]. Available from: http://udspace.udel.edu/handle/19716/23984.

Council of Science Editors:

De La Rosa L. Improving the effectiveness and efficiency of dynamic malware analysis using machine learning. [Doctoral Dissertation]. University of Delaware; 2018. Available from: http://udspace.udel.edu/handle/19716/23984


Brno University of Technology

20. Strnadlová, Kateřina. Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení: Response analysis of high-rise storage tank to static and dynamic loads.

Degree: 2018, Brno University of Technology

 This thesis describes the design and construction of water reservoir assessment for static and dynamic loads. The intoduction describes the basic design type sof reservoirs,… (more)

Subjects/Keywords: Vodojem; MKP; ANSYS; statická analýza; dynamická analýza; Water tank; FEM; ANSYS; static analysis; dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Strnadlová, K. (2018). Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení: Response analysis of high-rise storage tank to static and dynamic loads. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/35384

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Strnadlová, Kateřina. “Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení: Response analysis of high-rise storage tank to static and dynamic loads.” 2018. Thesis, Brno University of Technology. Accessed May 06, 2021. http://hdl.handle.net/11012/35384.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Strnadlová, Kateřina. “Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení: Response analysis of high-rise storage tank to static and dynamic loads.” 2018. Web. 06 May 2021.

Vancouver:

Strnadlová K. Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení: Response analysis of high-rise storage tank to static and dynamic loads. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 May 06]. Available from: http://hdl.handle.net/11012/35384.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Strnadlová K. Analýza odezvy výškové uskladňovací nádrže na statické a dynamické zatížení: Response analysis of high-rise storage tank to static and dynamic loads. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/35384

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

21. Mamédio, Felipe Maciel Paulo. Impacto de erros nos dados de entrada na eficiência de um modelo hidrológico.

Degree: 2014, Brazil

A aplicação de modelos hidrológicos vem sendo bastante utilizada como apoio à tomada de decisão no planejamento dos recursos hídricos. Tendo em vista que os… (more)

Subjects/Keywords: Modelos hidrológicos; Sensibilidade estática; Sensibilidade dinâmica; Hydrological models; Static sensitivity analysis; Dynamic sensitivity analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mamédio, F. M. P. (2014). Impacto de erros nos dados de entrada na eficiência de um modelo hidrológico. (Masters Thesis). Brazil. Retrieved from http://hdl.handle.net/10183/104348

Chicago Manual of Style (16th Edition):

Mamédio, Felipe Maciel Paulo. “Impacto de erros nos dados de entrada na eficiência de um modelo hidrológico.” 2014. Masters Thesis, Brazil. Accessed May 06, 2021. http://hdl.handle.net/10183/104348.

MLA Handbook (7th Edition):

Mamédio, Felipe Maciel Paulo. “Impacto de erros nos dados de entrada na eficiência de um modelo hidrológico.” 2014. Web. 06 May 2021.

Vancouver:

Mamédio FMP. Impacto de erros nos dados de entrada na eficiência de um modelo hidrológico. [Internet] [Masters thesis]. Brazil; 2014. [cited 2021 May 06]. Available from: http://hdl.handle.net/10183/104348.

Council of Science Editors:

Mamédio FMP. Impacto de erros nos dados de entrada na eficiência de um modelo hidrológico. [Masters Thesis]. Brazil; 2014. Available from: http://hdl.handle.net/10183/104348

22. Kim, Chang Hwan Peter. Systematic techniques for efficiently checking Software Product Lines.

Degree: PhD, Computer Science, 2013, University of Texas – Austin

 A Software Product Line (SPL) is a family of related programs, which of each is defined by a combination of features. By developing related programs… (more)

Subjects/Keywords: Software product lines; Static analysis; Dynamic analysis; Program analysis; Testing; Feature oriented programming

…irrelevant to the property being tested. More specifically, for a given test, a static analysis… …programs that include these features. A dynamic analysis counterpart also eliminates… …faster and more scalable. In addition, for runtime monitoring, a static analysis identifies… …19 Static Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 3.4.1… …3.9 Chapter 4 SPLat: Lightweight Dynamic Analysis for Reducing Combinatorics in Testing… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kim, C. H. P. (2013). Systematic techniques for efficiently checking Software Product Lines. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/23319

Chicago Manual of Style (16th Edition):

Kim, Chang Hwan Peter. “Systematic techniques for efficiently checking Software Product Lines.” 2013. Doctoral Dissertation, University of Texas – Austin. Accessed May 06, 2021. http://hdl.handle.net/2152/23319.

MLA Handbook (7th Edition):

Kim, Chang Hwan Peter. “Systematic techniques for efficiently checking Software Product Lines.” 2013. Web. 06 May 2021.

Vancouver:

Kim CHP. Systematic techniques for efficiently checking Software Product Lines. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2013. [cited 2021 May 06]. Available from: http://hdl.handle.net/2152/23319.

Council of Science Editors:

Kim CHP. Systematic techniques for efficiently checking Software Product Lines. [Doctoral Dissertation]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/23319


Addis Ababa University

23. Mulugeta, Habtemariam. Fracture Analysis of Pressure Vessel under Dynamic Loading and Thermal Effect .

Degree: 2012, Addis Ababa University

 Pressure vessel system has an extremely broad range of application, from simple storage vessels to complicated reactor pressure vessels. The causes of failure in pressure… (more)

Subjects/Keywords: Dynamic Stress Intensity Factor; Quasi-static Stress Intensity Factor; Stress Wave; Thermal Shock; Dynamic Fracture Analysis; Dynamic Loading; Crack; Pressure Vessel

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mulugeta, H. (2012). Fracture Analysis of Pressure Vessel under Dynamic Loading and Thermal Effect . (Thesis). Addis Ababa University. Retrieved from http://etd.aau.edu.et/dspace/handle/123456789/4581

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Mulugeta, Habtemariam. “Fracture Analysis of Pressure Vessel under Dynamic Loading and Thermal Effect .” 2012. Thesis, Addis Ababa University. Accessed May 06, 2021. http://etd.aau.edu.et/dspace/handle/123456789/4581.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Mulugeta, Habtemariam. “Fracture Analysis of Pressure Vessel under Dynamic Loading and Thermal Effect .” 2012. Web. 06 May 2021.

Vancouver:

Mulugeta H. Fracture Analysis of Pressure Vessel under Dynamic Loading and Thermal Effect . [Internet] [Thesis]. Addis Ababa University; 2012. [cited 2021 May 06]. Available from: http://etd.aau.edu.et/dspace/handle/123456789/4581.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Mulugeta H. Fracture Analysis of Pressure Vessel under Dynamic Loading and Thermal Effect . [Thesis]. Addis Ababa University; 2012. Available from: http://etd.aau.edu.et/dspace/handle/123456789/4581

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Washington

24. Toman, John. Learning to Adapt: Analyses for Configurable Software.

Degree: PhD, 2019, University of Washington

 Configurations are powerful tools for end-user customization of software. For example, non-expert software users may customize the behavior of programs via option menus, system administrators… (more)

Subjects/Keywords: Abstract Interpretation; Dynamic Analysis; Dynamic Configuration Updates; Programming Languages; Static Analysis; Computer science; Computer science and engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Toman, J. (2019). Learning to Adapt: Analyses for Configurable Software. (Doctoral Dissertation). University of Washington. Retrieved from http://hdl.handle.net/1773/43662

Chicago Manual of Style (16th Edition):

Toman, John. “Learning to Adapt: Analyses for Configurable Software.” 2019. Doctoral Dissertation, University of Washington. Accessed May 06, 2021. http://hdl.handle.net/1773/43662.

MLA Handbook (7th Edition):

Toman, John. “Learning to Adapt: Analyses for Configurable Software.” 2019. Web. 06 May 2021.

Vancouver:

Toman J. Learning to Adapt: Analyses for Configurable Software. [Internet] [Doctoral dissertation]. University of Washington; 2019. [cited 2021 May 06]. Available from: http://hdl.handle.net/1773/43662.

Council of Science Editors:

Toman J. Learning to Adapt: Analyses for Configurable Software. [Doctoral Dissertation]. University of Washington; 2019. Available from: http://hdl.handle.net/1773/43662


University of Otago

25. Tahir, Amjed. A Study on Software Testability and the Quality of Testing in Object-Oriented Systems .

Degree: University of Otago

 Software testing is known to be important to the delivery of high-quality systems, but it is also challenging, expensive and time-consuming. This has motivated academic… (more)

Subjects/Keywords: Software Testability; Program Comprehension; Dynamic Analysis; Static Analysis; Test Comprehension; Test Smells; Code Smells; Software Maintenance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tahir, A. (n.d.). A Study on Software Testability and the Quality of Testing in Object-Oriented Systems . (Doctoral Dissertation). University of Otago. Retrieved from http://hdl.handle.net/10523/6143

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Chicago Manual of Style (16th Edition):

Tahir, Amjed. “A Study on Software Testability and the Quality of Testing in Object-Oriented Systems .” Doctoral Dissertation, University of Otago. Accessed May 06, 2021. http://hdl.handle.net/10523/6143.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

MLA Handbook (7th Edition):

Tahir, Amjed. “A Study on Software Testability and the Quality of Testing in Object-Oriented Systems .” Web. 06 May 2021.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Tahir A. A Study on Software Testability and the Quality of Testing in Object-Oriented Systems . [Internet] [Doctoral dissertation]. University of Otago; [cited 2021 May 06]. Available from: http://hdl.handle.net/10523/6143.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Council of Science Editors:

Tahir A. A Study on Software Testability and the Quality of Testing in Object-Oriented Systems . [Doctoral Dissertation]. University of Otago; Available from: http://hdl.handle.net/10523/6143

Note: this citation may be lacking information needed for this citation format:
No year of publication.

26. Lafetá, Raquel Fialho de Queiroz. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks.

Degree: 2017, Federal University of Uberlândia

Reuso de software é um dos principais objetivos em Engenharia de Software. Frameworks de aplicação promovem a reutilização de blocos de construção, mas também da… (more)

Subjects/Keywords: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO; Computação; Pórticos estruturais; Programação (Computadores); Métodos de ensino; Compreensão de software; Reuso; Framework; Livro de receitas; Análise estática; Análise dinâmica; Experimento controlado; Program Comprehension; Reverse engineering; Reuse; Frameworks; Cookbook; Recipe; Static analysis; Dynamic analysis; Controlled experiment; Engenharia reversa

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lafetá, R. F. d. Q. (2017). Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. (Doctoral Dissertation). Federal University of Uberlândia. Retrieved from LAFETÁ, Raquel Fialho de Queiroz. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. 2017. 150 f. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2017. Disponível em http://dx.doi.org/10.14393/ufu.te.2017.64 ; https://repositorio.ufu.br/handle/123456789/19882 ; http://dx.doi.org/10.14393/ufu.te.2017.64

Chicago Manual of Style (16th Edition):

Lafetá, Raquel Fialho de Queiroz. “Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks.” 2017. Doctoral Dissertation, Federal University of Uberlândia. Accessed May 06, 2021. LAFETÁ, Raquel Fialho de Queiroz. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. 2017. 150 f. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2017. Disponível em http://dx.doi.org/10.14393/ufu.te.2017.64 ; https://repositorio.ufu.br/handle/123456789/19882 ; http://dx.doi.org/10.14393/ufu.te.2017.64.

MLA Handbook (7th Edition):

Lafetá, Raquel Fialho de Queiroz. “Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks.” 2017. Web. 06 May 2021.

Vancouver:

Lafetá RFdQ. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. [Internet] [Doctoral dissertation]. Federal University of Uberlândia; 2017. [cited 2021 May 06]. Available from: LAFETÁ, Raquel Fialho de Queiroz. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. 2017. 150 f. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2017. Disponível em http://dx.doi.org/10.14393/ufu.te.2017.64 ; https://repositorio.ufu.br/handle/123456789/19882 ; http://dx.doi.org/10.14393/ufu.te.2017.64.

Council of Science Editors:

Lafetá RFdQ. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. [Doctoral Dissertation]. Federal University of Uberlândia; 2017. Available from: LAFETÁ, Raquel Fialho de Queiroz. Uma abordagem híbrida para construção de documentação para apoio à instanciação de frameworks. 2017. 150 f. Tese (Doutorado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2017. Disponível em http://dx.doi.org/10.14393/ufu.te.2017.64 ; https://repositorio.ufu.br/handle/123456789/19882 ; http://dx.doi.org/10.14393/ufu.te.2017.64


Brigham Young University

27. Self, Joel P. On-the-Fly Dynamic Dead Variable Analysis.

Degree: MS, 2007, Brigham Young University

 State explosion in model checking continues to be the primary obstacle to widespread use of software model checking. The large input ranges of variables used… (more)

Subjects/Keywords: model checking; computer science; static; static analysis; dynamic analysis; analysis; program; program analysis; Estes; GDB; dead variable analysis; dead variable; live variable; live variable analysis; CFG; abstraction; data abstraction; on-the-fly; static program analysis; control flow graph; software model checking; state space; depth first search; state explosion; state explosion problem; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Self, J. P. (2007). On-the-Fly Dynamic Dead Variable Analysis. (Masters Thesis). Brigham Young University. Retrieved from https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd

Chicago Manual of Style (16th Edition):

Self, Joel P. “On-the-Fly Dynamic Dead Variable Analysis.” 2007. Masters Thesis, Brigham Young University. Accessed May 06, 2021. https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd.

MLA Handbook (7th Edition):

Self, Joel P. “On-the-Fly Dynamic Dead Variable Analysis.” 2007. Web. 06 May 2021.

Vancouver:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Internet] [Masters thesis]. Brigham Young University; 2007. [cited 2021 May 06]. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd.

Council of Science Editors:

Self JP. On-the-Fly Dynamic Dead Variable Analysis. [Masters Thesis]. Brigham Young University; 2007. Available from: https://scholarsarchive.byu.edu/cgi/viewcontent.cgi?article=1885&context=etd


University of Illinois – Urbana-Champaign

28. Wei, Sihang. Determination of load path through concrete crosstie and fastening system: a laboratory and field investigation.

Degree: PhD, Civil Engineering, 2017, University of Illinois – Urbana-Champaign

 US railways move more freight (measured in tonne-kms) by rail than by any other means. This is done over an extensive network of primarily private… (more)

Subjects/Keywords: Railroad; Concrete crosstie; Fastening system; Load path; Experiment; Finite element analysis; Static; Dynamic

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wei, S. (2017). Determination of load path through concrete crosstie and fastening system: a laboratory and field investigation. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/97369

Chicago Manual of Style (16th Edition):

Wei, Sihang. “Determination of load path through concrete crosstie and fastening system: a laboratory and field investigation.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed May 06, 2021. http://hdl.handle.net/2142/97369.

MLA Handbook (7th Edition):

Wei, Sihang. “Determination of load path through concrete crosstie and fastening system: a laboratory and field investigation.” 2017. Web. 06 May 2021.

Vancouver:

Wei S. Determination of load path through concrete crosstie and fastening system: a laboratory and field investigation. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2021 May 06]. Available from: http://hdl.handle.net/2142/97369.

Council of Science Editors:

Wei S. Determination of load path through concrete crosstie and fastening system: a laboratory and field investigation. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/97369


University of Adelaide

29. Febrianti, Yusnita. A Multimodal Semiotic Analysis of University Branding Posters and Films.

Degree: 2020, University of Adelaide

 Multimodal studies motivated by Systemic Functional Linguistics have grown in interest and reach in the millennium, with contributions at the theoretical and methodological level extending… (more)

Subjects/Keywords: Multimodal analysis; static multimodal texts; dynamic multimodal texts; modes; affordance; University logo; University slogo

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Febrianti, Y. (2020). A Multimodal Semiotic Analysis of University Branding Posters and Films. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/129588

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Febrianti, Yusnita. “A Multimodal Semiotic Analysis of University Branding Posters and Films.” 2020. Thesis, University of Adelaide. Accessed May 06, 2021. http://hdl.handle.net/2440/129588.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Febrianti, Yusnita. “A Multimodal Semiotic Analysis of University Branding Posters and Films.” 2020. Web. 06 May 2021.

Vancouver:

Febrianti Y. A Multimodal Semiotic Analysis of University Branding Posters and Films. [Internet] [Thesis]. University of Adelaide; 2020. [cited 2021 May 06]. Available from: http://hdl.handle.net/2440/129588.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Febrianti Y. A Multimodal Semiotic Analysis of University Branding Posters and Films. [Thesis]. University of Adelaide; 2020. Available from: http://hdl.handle.net/2440/129588

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Delft University of Technology

30. Tziolas, Aristotelis (author). Evaluation of the PM4Sand Constitutive Model for the Prediction of Earthquake-Induced & Static Liquefaction in Hydraulic Fills.

Degree: 2019, Delft University of Technology

 The earthquake-induced liquefaction is a high-risk phenomenon for dredging industries, which need to set strict requirements in order to avoid potential disastrous effects for the… (more)

Subjects/Keywords: PM4Sand; hydraulic fill; dynamic analysis; earthquake-induced liquefaction; static liquefaction; cyclic loading; NCEER method

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tziolas, A. (. (2019). Evaluation of the PM4Sand Constitutive Model for the Prediction of Earthquake-Induced & Static Liquefaction in Hydraulic Fills. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:25526c41-f066-45aa-b38b-ef8a8c7f323b

Chicago Manual of Style (16th Edition):

Tziolas, Aristotelis (author). “Evaluation of the PM4Sand Constitutive Model for the Prediction of Earthquake-Induced & Static Liquefaction in Hydraulic Fills.” 2019. Masters Thesis, Delft University of Technology. Accessed May 06, 2021. http://resolver.tudelft.nl/uuid:25526c41-f066-45aa-b38b-ef8a8c7f323b.

MLA Handbook (7th Edition):

Tziolas, Aristotelis (author). “Evaluation of the PM4Sand Constitutive Model for the Prediction of Earthquake-Induced & Static Liquefaction in Hydraulic Fills.” 2019. Web. 06 May 2021.

Vancouver:

Tziolas A(. Evaluation of the PM4Sand Constitutive Model for the Prediction of Earthquake-Induced & Static Liquefaction in Hydraulic Fills. [Internet] [Masters thesis]. Delft University of Technology; 2019. [cited 2021 May 06]. Available from: http://resolver.tudelft.nl/uuid:25526c41-f066-45aa-b38b-ef8a8c7f323b.

Council of Science Editors:

Tziolas A(. Evaluation of the PM4Sand Constitutive Model for the Prediction of Earthquake-Induced & Static Liquefaction in Hydraulic Fills. [Masters Thesis]. Delft University of Technology; 2019. Available from: http://resolver.tudelft.nl/uuid:25526c41-f066-45aa-b38b-ef8a8c7f323b

[1] [2] [3] [4] [5] … [20]

.