File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

postgraduate thesis: A formal specification-based approach to object-oriented software testing at the class level

TitleA formal specification-based approach to object-oriented software testing at the class level
Authors
Issue Date1997
PublisherThe University of Hong Kong (Pokfulam, Hong Kong)
Citation
Xu, Z. [徐志農]. (1997). A formal specification-based approach to object-oriented software testing at the class level. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3123635
DegreeDoctor of Philosophy
SubjectObject-oriented programming (Computer science)
Computer software - Testing.
Dept/ProgramComputer Science
Persistent Identifierhttp://hdl.handle.net/10722/34647
HKU Library Item IDb3123635

 

DC FieldValueLanguage
dc.contributor.authorXu, Zhinong.-
dc.contributor.author徐志農-
dc.date.issued1997-
dc.identifier.citationXu, Z. [徐志農]. (1997). A formal specification-based approach to object-oriented software testing at the class level. (Thesis). University of Hong Kong, Pokfulam, Hong Kong SAR. Retrieved from http://dx.doi.org/10.5353/th_b3123635-
dc.identifier.urihttp://hdl.handle.net/10722/34647-
dc.languageeng-
dc.publisherThe University of Hong Kong (Pokfulam, Hong Kong)-
dc.relation.ispartofHKU Theses Online (HKUTO)-
dc.rightsThe author retains all proprietary rights, (such as patent rights) and the right to use in future works.-
dc.rightsThis work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.-
dc.source.urihttp://hub.hku.hk/bib/B31236352-
dc.subject.lcshObject-oriented programming (Computer science)-
dc.subject.lcshComputer software - Testing.-
dc.titleA formal specification-based approach to object-oriented software testing at the class level-
dc.typePG_Thesis-
dc.identifier.hkulb3123635-
dc.description.thesisnameDoctor of Philosophy-
dc.description.thesislevelDoctoral-
dc.description.thesisdisciplineComputer Science-
dc.description.naturepublished_or_final_version-
dc.identifier.doi10.5353/th_b3123635-
dc.date.hkucongregation1997-
dc.identifier.mmsid991012390739703414-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats