@—«iVˆäj ­‰p@Ph.D, FBCS, SMIEEE, MJSSST
‹³Žö
ƒfƒBƒyƒ“ƒ_ƒuƒ‹ƒVƒXƒeƒ€ƒ\ƒtƒgƒEƒFƒAHŠwŒ¤‹†Žº
–@­‘åŠwî•ñ‰ÈŠw•”ƒRƒ“ƒsƒ…[ƒ^‰ÈŠw‰ÈEî•ñ‰ÈŠwŒ¤‹†‰È
“Œ‹ž“s“Œ¬‹àˆäŽsŠ–ì’¬‚R|‚V|‚Q
“d˜b
F+81-(0)42-387-4550
Fax: +81-(0)42-387-4550
Email:
sliu AT hosei DOT ac DOT jp
URL: http://cis.k.hosei.ac.jp/~sliu/

Šw—ðAE—ðAŠw‰ï

ƒWƒƒ[ƒiƒ‹•ÒWˆÏˆõF
Software Testing, Verification and Reliability (STVR)

‚¨‚æ‚Ñ
ISRN Software Engineering Journal

ICFEM ƒz[ƒ€ƒy[ƒW

Œ¤‹†‹ÆÑ

ŠwpŠˆ“®

ŽóÜ—ð

ŒÂlŽï–¡

Œ¤‹†—̈æ

’˜‘E˜_•¶

SOFL

‚r‚n‚e‚k–{F@Œ`Ž®HŠwŽè–@

SOFL‚ÌŽx‰‡
ƒc[ƒ‹

SOFL‚̉ž—pŽ–—á

Œ¤‹†ƒvƒƒWƒFƒNƒg

‘åŠw‰@‚ÌŽö‹Æ

Šw•”‚ÌŽö‹Æ

‚PD‚QD‚R”N¶‚Ì
ƒvƒƒWƒFƒNƒg


‘²‹ÆŒ¤‹†


ITPC‚ÌŽö‹Æ

”ŽŽm‰Û’ö‚ÌŠw¶

ŒðŠ·—¯Šw¶

‹qˆõŒ¤‹†ˆõ

Œ³”ŽŽm‰Û’ö‚ÌŠw¶

Œ¤‹†ŽºƒCƒxƒ“ƒg

English Version

@XV“úF2012”N10ŒŽ30“ú

@