책 이미지
eBook 미리보기
책 정보
· 제목 : Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures (Paperback)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783642252303
· 쪽수 : 213쪽
· 출판일 : 2012-01-09
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783642252303
· 쪽수 : 213쪽
· 출판일 : 2012-01-09
목차
Search Based Software Engineering: Techniques, Taxonomy, Tutorial.- Replication of Software Engineering Experiments.- A Formal Reference for SCOOP.- On the Integration of Software Testing and Formal Analysis.- Is Branch Coverage a Good Measure of Testing Effectiveness.
