資源簡介
（我現(xiàn)在主要在CSDN上整理計(jì)算機(jī)安全、軟件工程（可信軟件）、系統(tǒng)及通信方面的論文及相關(guān)理論書籍，如果對(duì)這方面內(nèi)容感興趣，可以訪問：http://qysh123.download.csdn.net/ 查看我上傳的所有資料。內(nèi)容比較多，需要大家人工手動(dòng)查找。另外，資料順序并不按照時(shí)間排列，只是想起來了就上傳。請(qǐng)大家見諒。）
ACM組織的，在軟件測試與分析方面最著名的國際會(huì)議，International Symposium on Software Testing and Analysis 2011年的論文集。 傳統(tǒng)觀點(diǎn)認(rèn)為這個(gè)會(huì)議和ICSE，POPL等大會(huì)相比層次要稍遜一籌，但我個(gè)人認(rèn)為其專業(yè)性較強(qiáng)，大多數(shù)論文也很嚴(yán)謹(jǐn)，近年來發(fā)表文章的也多是知名高校與歐美著名研發(fā)型公司。很適合軟件分析、可信軟件、可靠性分析等專業(yè)的研究人員和相應(yīng)測試、開發(fā)人員閱讀。
代碼片段和文件信息
?屬性????????????大小?????日期????時(shí)間???名稱
-----------?---------??----------?-----??----
?????文件?????269114??2011-09-13?19:53??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Analysis?of?systems?and?binary?code\Defective?error?pointer?interactions?in?the?Linux?kernel.pdf
?????文件?????502223??2011-09-13?19:52??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Analysis?of?systems?and?binary?code\Efficient?sensitivity?resistant?binary?instrumentation.pdf
?????文件?????429799??2011-09-13?19:52??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Analysis?of?systems?and?binary?code\Recovering?the?toolchain?provenance?of?binary?code.pdf
?????文件?????498559??2011-09-13?22:25??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Combinatorial?and?random?testing\Adaptive?random?testing?_?an?illusion?of?effectiveness.pdf
?????文件?????340835??2011-09-13?21:43??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Combinatorial?and?random?testing\Feedback?driven?adaptive?combinatorial?testing.pdf
?????文件?????854115??2011-09-13?21:44??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Combinatorial?and?random?testing\Using?binary?decision?diagrams?for?combinatorial?test?design.pdf
?????文件?????511816??2011-09-13?19:57??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Concurrency\Change-aware?preemption?prioritization.pdf
?????文件?????517659??2011-09-13?19:57??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Concurrency\Persuasive?prediction?of?concurrency?access?anomalies.pdf
?????文件?????293484??2011-09-13?19:56??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Concurrency\Testing?concurrent?programs?on?relaxed?memory?models.pdf
?????文件?????710577??2011-09-13?20:13??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\Are?automated?debugging?techniques?actually?helping?programmers.pdf
?????文件?????352619??2011-09-13?21:35??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\Detecting?anomalies?in?the?order?of?equally-typed?method?arguments.pdf
?????文件?????417694??2011-09-13?21:34??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\Minimizing?reproduction?of?software?failures.pdf
?????文件?????365182??2011-09-13?20:16??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\On?the?influence?of?multiple?faults?on?coverage-based?fault?localization.pdf
?????文件?????445939??2011-09-18?19:33??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\Characterizing?failure-causing?parameter?interactions?by?adaptive?testing.pdf
?????文件?????332374??2011-09-18?19:33??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\Generating?analyses?for?detecting?faults?in?path?segments.pdf
?????文件?????557380??2011-09-18?19:32??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\Selecting?peers?for?execution?comparison.pdf
?????文件?????647735??2011-09-18?19:33??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\The?use?of?mutation?in?testing?experiments?and?its?sensitivity?to?external?threats.pdf
?????文件?????929270??2011-09-13?19:45??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Automated?framework?for?formal?operator?task?analysis.pdf
?????文件?????371799??2011-09-13?19:45??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Bounded?verification?of?Ruby?on?Rails?data?models.pdf
?????文件????1550935??2011-09-13?19:40??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Polyglot?_?modeling?and?analysis?for?multiple?Statechart?formalisms.pdf
?????文件?????415795??2011-09-13?19:41??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Scalable?analysis?of?conceptual?data?models.pdf
?????文件?????624836??2011-09-13?19:58??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Demand-driven?context-sensitive?alias?analysis?for?Java.pdf
?????文件????1197810??2011-09-13?20:09??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Geometric?encoding?_?forging?the?high?performance?context?sensitive?points-to?analysis?for?Java.pdf
?????文件?????941986??2011-09-13?19:58??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Path-?and?index-sensitive?string?analysis?based?on?monadic?second-order?logic.pdf
?????文件?????337674??2011-09-13?20:08??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Saving?the?world?wide?web?from?vulnerable?javascript.pdf
?????文件?????447729??2011-09-18?19:14??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Specification?and?optimization\CoDeSe?_?fast?deserialization?via?code?generation.pdf
?????文件????1064263??2011-09-18?18:49??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Specification?and?optimization\Iterative?refinement?of?specification?for?component?based?embedded?systems.pdf
?????文件?????451605??2011-09-18?19:13??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Specification?and?optimization\Using?automatic?persistent?memoization?to?facilitate?data?analysis?scripting.pdf
?????文件?????431898??2011-09-13?19:17??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Test?generation?I\Automatic?partial?loop?summarization?in?dynamic?test?generation.pdf
?????文件?????472223??2011-09-13?19:11??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Test?generation?I\eXpress?_?guided?path?exploration?for?efficient?regression?test?generation.pdf
............此處省略19個(gè)文件信息
-----------?---------??----------?-----??----
?????文件?????269114??2011-09-13?19:53??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Analysis?of?systems?and?binary?code\Defective?error?pointer?interactions?in?the?Linux?kernel.pdf
?????文件?????502223??2011-09-13?19:52??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Analysis?of?systems?and?binary?code\Efficient?sensitivity?resistant?binary?instrumentation.pdf
?????文件?????429799??2011-09-13?19:52??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Analysis?of?systems?and?binary?code\Recovering?the?toolchain?provenance?of?binary?code.pdf
?????文件?????498559??2011-09-13?22:25??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Combinatorial?and?random?testing\Adaptive?random?testing?_?an?illusion?of?effectiveness.pdf
?????文件?????340835??2011-09-13?21:43??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Combinatorial?and?random?testing\Feedback?driven?adaptive?combinatorial?testing.pdf
?????文件?????854115??2011-09-13?21:44??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Combinatorial?and?random?testing\Using?binary?decision?diagrams?for?combinatorial?test?design.pdf
?????文件?????511816??2011-09-13?19:57??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Concurrency\Change-aware?preemption?prioritization.pdf
?????文件?????517659??2011-09-13?19:57??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Concurrency\Persuasive?prediction?of?concurrency?access?anomalies.pdf
?????文件?????293484??2011-09-13?19:56??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Concurrency\Testing?concurrent?programs?on?relaxed?memory?models.pdf
?????文件?????710577??2011-09-13?20:13??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\Are?automated?debugging?techniques?actually?helping?programmers.pdf
?????文件?????352619??2011-09-13?21:35??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\Detecting?anomalies?in?the?order?of?equally-typed?method?arguments.pdf
?????文件?????417694??2011-09-13?21:34??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\Minimizing?reproduction?of?software?failures.pdf
?????文件?????365182??2011-09-13?20:16??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?I\On?the?influence?of?multiple?faults?on?coverage-ba
?????文件?????445939??2011-09-18?19:33??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\Characterizing?failure-causing?parameter?interactions?by?adaptive?testing.pdf
?????文件?????332374??2011-09-18?19:33??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\Generating?analyses?for?detecting?faults?in?path?segments.pdf
?????文件?????557380??2011-09-18?19:32??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\Selecting?peers?for?execution?comparison.pdf
?????文件?????647735??2011-09-18?19:33??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Faults?II\The?use?of?mutation?in?testing?experiments?and?its?sensitivity?to?external?threats.pdf
?????文件?????929270??2011-09-13?19:45??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Automated?fr
?????文件?????371799??2011-09-13?19:45??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Bounded?verification?of?Ruby?on?Rails?data?models.pdf
?????文件????1550935??2011-09-13?19:40??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Polyglot?_?modeling?and?analysis?for?multiple?Statechart?formalisms.pdf
?????文件?????415795??2011-09-13?19:41??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Models\Scalable?analysis?of?conceptual?data?models.pdf
?????文件?????624836??2011-09-13?19:58??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Demand-driven?context-sensitive?alias?analysis?for?Java.pdf
?????文件????1197810??2011-09-13?20:09??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Geometric?encoding?_?forging?the?high?performance?context?sensitive?points-to?analysis?for?Java.pdf
?????文件?????941986??2011-09-13?19:58??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Path-?and?index-sensitive?string?analysis?ba
?????文件?????337674??2011-09-13?20:08??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Program?analysis\Saving?the?world?wide?web?from?vulnerable?ja
?????文件?????447729??2011-09-18?19:14??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Specification?and?optimization\CoDeSe?_?fast?deserialization?via?code?generation.pdf
?????文件????1064263??2011-09-18?18:49??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Specification?and?optimization\Iterative?refinement?of?specification?for?component?ba
?????文件?????451605??2011-09-18?19:13??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Specification?and?optimization\Using?automatic?persistent?memoization?to?facilitate?data?analysis?sc
?????文件?????431898??2011-09-13?19:17??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Test?generation?I\Automatic?partial?loop?summarization?in?dynamic?test?generation.pdf
?????文件?????472223??2011-09-13?19:11??ISSTA?2011-International?Symposium?on?Software?Testing?and?Analysis?2011\Test?generation?I\eXpress?_?guided?path?exploration?for?efficient?regression?test?generation.pdf
............此處省略19個(gè)文件信息
- 上一篇：模型車牌生成器完整版
- 下一篇：畢業(yè)設(shè)計(jì) - 遙控車位鎖
評(píng)論
共有 條評(píng)論
川公網(wǎng)安備 51152502000135號(hào)