@incollection{, 8CE3C831D40A941F4418C39887FA3547 , author={{Shital V.Tate} and {Bharati Vidyapeeth Deemed University}}, journal={{Global Journal of Computer Science and Technology}}, journal={{GJCST}}0975-41720975-435010.34257/gjcst, address={Cambridge, United States}, publisher={Global Journals Organisation}121214 } @book{b0, , title={{The economic impact of inadequate infrastructure for software testing}} , year={may 2002} National Institute of Standards and Technology , note={Tech. Rep. 02-3} } @book{b1, , author={{ RCSeacord } and { DPlakosh } and { GALewis }} , title={{Modernizing Legacy Practices}} , year={2003} } @incollection{b2, , title={{Formal specifications on industrial-strength code from myth to reality}} , author={{ MDas }} , booktitle={{Computer-Aided Verification}} , year={2006} 1 } @incollection{b3, , title={{Setuid demystified}} , author={{ HChen } and { DWagner } and { DDean }} , booktitle={{USENIX Security Symposium}} , year={2002} } @incollection{b4, , title={{Debugging temporal specifications with concept analysis}} , author={{ GAmmons } and { DMandelin } and { RBodĀ“?k } and { JRLarus }} , booktitle={{Programming Language Design and Implementation}} , year={2003} } @incollection{b5, , title={{Mining specifications}} , author={{ GAmmons } and { RBodik } and { JRLarus }} , booktitle={{Principles of Programming Languages}} , year={2002} } @incollection{b6, , title={{Bugs as inconsistent behaviour: A general approach to inferring errors in systems code}} , author={{ DREngler } and { DYChen } and { AChou }} , booktitle={{Symposium on Operating System Principles}} , year={2001} } @incollection{b7, , title={{Symbolic mining of temporal specifications}} , author={{ MGabel } and { ZSu }} , booktitle={{ICSE}} , year={2008} } @book{b8, , title={{Automatic extraction of object-oriented component interfaces}} , author={{ JWhaley } and { MCMartin } and { MSLam }} , editor={ISSTA} , year={2002} } @incollection{b9, , title={{Measuring code quality to improve specification mining}} , author={{ ClaireLe Goues } and { WestelyWeimer }} , journal={{IEEE Trans. Software Eng}} } @incollection{b10, , title={{FiVaTech: Page-Level Web Data Extraction from Template Pages}} , author={{ MohammedKayed } and { Chia-HuiChang }} , journal={{IEEE Transactions On Knowledge And Data Engineering}} 22 2 , year={February 2010} } @incollection{b11, , title={{A metrics suite for object oriented design}} , author={{ SRChidamber } and { CFKemerer }} , journal={{IEEE Trans. Softw. Eng}} 20 6 , year={1994} } @book{b12, , title={{Simplify: a theorem prover for program checking}} , author={{ DDetlefs } and { GNelson } and { JBSaxe }} } @incollection{b13, , title={{}} , journal={{J. ACM}} 52 3 , year={2005} } @incollection{b14, , title={{Who are source code contributors and how do they change?}} , author={{ M } and { DiPenta } and { DMGerman }} , booktitle={{in Working Conference on Reverse Engineering}} , publisher={IEEE Computer Society} , year={2009} } @book{b15, , title={{Cloning Considered Harmful" in WCRE}} , author={{ CKapser } and { MWGodfrey }} , year={2006} } @book{b16, , title={{A study of consistent and inconsistent changes to code clones}} , author={{ JKrinke }} , year={2007} , publisher={WCRE. IEEE Computer Society} } @incollection{b17, , title={{Specification mining with few false positives}} , author={{ C } and { LeGoues } and { WWeimer }} , booktitle={{TACAS}} , year={2009} } @incollection{b18, , title={{A complexity measure}} , author={{ TJMccabe }} , journal={{IEEE Trans. Software Eng}} 2 4 , year={1976} } @incollection{b19, , title={{Using software dependencies and churn metrics to predict field failures: An empirical case study}} , author={{ NNagappan } and { TBall }} , booktitle={{ESEM}} , year={2007} } @book{b20, , title={{On the Sustained Use of a Test Driven Development Practice at IBM," in Agile}} , author={{ JCSanchez } and { LWilliams } and { EMMaximilien }} , year={2007. August 2007} , publisher={IEEE Computer Society} } @incollection{b21, , title={{Privately finding specifications}} , author={{ WWeimer } and { NMishra }} , journal={{IEEE Trans. Software Eng}} 34 1 , year={2008} } @incollection{b22, , title={{Mining temporal specifications for error detection}} , author={{ WWeimer } and { GCNecula }} , journal={{TACAS}} , year={2005} } @incollection{b23, , title={{Bugs as inconsistent behavior: A general approach to inferring errors in systems code}} , author={{ DREngler } and { DYChen } and { AChou }} , booktitle={{Symposium on Operating Systems Principles}} , year={2001} }